Decision #480 — library/alloc/src/vec/mod.rs:1041
Status: no_witness
Truth table
| row | c0 br 3265 | c1 br 3271 | c2 br 3276 | c3 br 3283 | outcome |
|---|---|---|---|---|---|
| 47823 | F | * | * | * | F |
| 47824 | F | * | * | * | F |
| 51992 | F | * | * | * | F |
| 51993 | F | * | * | * | F |
| 56530 | F | * | * | * | F |
| 56531 | F | * | * | * | F |
| 60747 | F | * | * | * | F |
| 60748 | F | * | * | * | F |
| 96026 | F | * | * | * | F |
| 105667 | F | * | * | * | F |
| 105668 | F | * | * | * | F |
| 111453 | F | * | * | * | F |
| 114442 | F | * | * | * | F |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::build_static_call_graph — 4 br_if
c0(branch3265): GAP view gap →c1(branch3271): DEAD view gap →c2(branch3276): DEAD view gap →c3(branch3283): DEAD view gap →