Decision #357 — library/alloc/src/raw_vec/mod.rs:424
Status: no_witness
Truth table
| row | c0 br 2299 | c1 br 2301 | c2 br 2303 | outcome |
|---|---|---|---|---|
| 95879 | T | * | * | T |
| 95880 | T | * | * | T |
| 95881 | T | * | * | T |
| 95882 | T | * | * | T |
| 111101 | T | * | * | T |
| 111102 | T | * | * | T |
| 111103 | T | * | * | T |
| 111104 | T | * | * | T |
| 114260 | T | * | * | T |
| 114261 | T | * | * | T |
Independent-effect pairs
c0(branch2299): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6072 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825c1(branch2301): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6072 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825c2(branch2303): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6072 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825