Decision #1627 — lib.rs:1456
Status: partial
Truth table
| row | c0 br 3071 | c1 br 3072 | c2 br 3073 | c3 br 3074 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in scry_analyze_core::handle_memory_load — 1 br_table_default + 3 br_table_target
c0(branch3071): PROVEDc1(branch3072): DEAD view gap →c2(branch3073): DEAD view gap →c3(branch3074): DEAD view gap →