Decision #123 — library/alloc/src/raw_vec/mod.rs:424
Status: no_witness
Truth table
| row | c0 br 964 | c1 br 966 | c2 br 967 | outcome |
|---|---|---|---|---|
| 84192 | F | T | * | T |
| 84193 | F | T | * | T |
| 87577 | F | T | * | T |
| 87578 | F | T | * | T |
| 90819 | F | T | * | T |
| 90820 | F | T | * | T |
Independent-effect pairs
c0(branch964): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:4390 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c1(branch966): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:4390 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c2(branch967): DEAD view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:4426 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810