Decision #200 — lib.rs:4248
Status: no_witness
Truth table
| row | c0 br 1705 | c1 br 1706 | c2 br 1707 | c3 br 1708 | outcome |
|---|---|---|---|---|---|
| 595 | * | * | F | F | T |
| 596 | * | * | F | F | T |
| 3635 | * | * | F | F | T |
| 3636 | * | * | F | F | T |
| 6580 | * | * | F | F | T |
| 6581 | * | * | F | F | T |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::emit_call_indirect_edge — 4 br_if
c0(branch1705): DEAD view gap →c1(branch1706): DEAD view gap →c2(branch1707): GAP view gap →c3(branch1708): GAP view gap →