Decision #962 — lib.rs:4935
Status: partial
Truth table
| row | c0 br 1060 | c1 br 1061 | c2 br 1062 | c3 br 1063 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in scry_analyze_core::handle_memory_load — 1 br_table_default + 3 br_table_target
c0(branch1060): PROVEDc1(branch1061): DEAD view gap →c2(branch1062): DEAD view gap →c3(branch1063): DEAD view gap →