Decision #1630 — library/alloc/src/raw_vec/mod.rs:435
Status: partial
Truth table
| row | c0 br 3398 | c1 br 3399 | c2 br 3400 | c3 br 3401 | c4 br 3402 | c5 br 3403 | c6 br 3404 | c7 br 3405 | c8 br 3406 | c9 br 3407 | c10 br 3408 | c11 br 3409 | c12 br 3410 | outcome |
|---|
Independent-effect pairs
All 13 conditions live in scry_analyze_core::run_taint_analysis — 1 br_table_default + 12 br_table_target
c0(branch3398): PROVEDc1(branch3399): PROVEDc2(branch3400): DEAD view gap →c3(branch3401): PROVEDc4(branch3402): DEAD view gap →c5(branch3403): DEAD view gap →c6(branch3404): DEAD view gap →c7(branch3405): DEAD view gap →c8(branch3406): DEAD view gap →c9(branch3407): PROVEDc10(branch3408): DEAD view gap →c11(branch3409): PROVEDc12(branch3410): DEAD view gap →