Decision #372 — library/core/src/ptr/mut_ptr.rs:961
Status: no_witness
Truth table
| row | c0 br 2217 | c1 br 2316 | outcome |
|---|---|---|---|
| 47698 | F | * | T |
| 47699 | F | * | T |
| 51826 | F | * | T |
| 51827 | F | * | T |
| 56364 | F | * | T |
| 56365 | F | * | T |
| 60622 | F | * | T |
| 60623 | F | * | T |
Independent-effect pairs
c0(branch2217): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:5285 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1044c1(branch2316): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6000 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1044