Decision #385 — library/alloc/src/raw_vec/mod.rs:442
Status: no_witness
Truth table
| row | c0 br 2419 | c1 br 2420 | c2 br 2430 | outcome |
|---|---|---|---|---|
| 97910 | * | * | F | T |
| 99428 | * | * | F | T |
| 100843 | * | * | F | T |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::compute_advisories — 3 br_if
c0(branch2419): DEAD view gap →c1(branch2420): DEAD view gap →c2(branch2430): GAP view gap →