Decision #467 — library/alloc/src/raw_vec/mod.rs:435
Status: no_witness
Truth table
| row | c0 br 3089 | c1 br 3095 | outcome |
|---|---|---|---|
| 181147 | * | T | T |
| 181148 | * | T | T |
| 184467 | * | T | T |
| 184468 | * | T | T |
| 187574 | * | T | T |
| 187575 | * | T | T |
Independent-effect pairs
c0(branch3089): DEAD view gap →scry_analyze_core::handle_memory_load· br_ifc1(branch3095): GAP view gap →scry_analyze_core::handle_memory_load· br_if