Decision #484 — library/alloc/src/raw_vec/mod.rs:435
Status: no_witness
Truth table
| row | c0 br 3139 | c1 br 3140 | c2 br 3141 | c3 br 3142 | outcome |
|---|---|---|---|---|---|
| 14721 | F | F | * | * | T |
| 99721 | F | F | * | * | T |
| 99722 | F | F | * | * | T |
| 108210 | F | F | * | * | T |
| 108211 | F | F | * | * | T |
| 379682 | F | F | * | * | T |
| 382566 | F | F | * | * | T |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::run_taint_analysis — 4 br_if
c0(branch3139): GAP view gap →c1(branch3140): GAP view gap →c2(branch3141): DEAD view gap →c3(branch3142): DEAD view gap →