Decision #1641 — lib.rs:6256
Status: unreached
Truth table
| row | c0 br 4208 | c1 br 4209 | c2 br 4210 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in scry_analyze_core::emit_call_indirect_edge — 1 br_table_default + 2 br_table_target
c0(branch4208): DEAD view gap →c1(branch4209): DEAD view gap →c2(branch4210): DEAD view gap →