Decision #468 — library/alloc/src/vec/mod.rs:1912
Status: no_witness
Truth table
| row | c0 br 3081 | c1 br 3082 | outcome |
|---|---|---|---|
| 181149 | T | * | T |
| 181150 | T | * | T |
| 184469 | T | * | T |
| 184470 | T | * | T |
| 187576 | T | * | T |
| 187577 | T | * | T |
Independent-effect pairs
c0(branch3081): GAP view gap →scry_analyze_core::handle_memory_load· br_ifc1(branch3082): DEAD view gap →scry_analyze_core::handle_memory_load· br_if