Decision #1641 — lib.rs:6256

Status: unreached

Truth table

rowc0 br 4208c1 br 4209c2 br 4210outcome

Independent-effect pairs

All 3 conditions live in scry_analyze_core::emit_call_indirect_edge — 1 br_table_default + 2 br_table_target