Decision #135 — library/core/src/ptr/mod.rs:1721
Status: no_witness
Truth table
| row | c0 br 860 | c1 br 886 | c2 br 887 | outcome |
|---|---|---|---|---|
| 40558 | * | F | * | F |
| 40559 | * | F | T | T |
| 43526 | * | F | * | F |
| 43527 | * | F | T | T |
| 46979 | * | F | * | F |
| 46980 | * | F | T | T |
| 50098 | * | F | * | F |
| 50099 | * | F | T | T |
Independent-effect pairs
c0(branch860): DEAD view gap →scry_analyze_core::Interp::seq· br_ifc1(branch886): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:3678 ← library/alloc/src/vec/mod.rs:2823c2(branch887): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:3678 ← library/alloc/src/vec/mod.rs:2823