Decision #496 — lib.rs:5924
Status: no_witness
Truth table
| row | c0 br 3381 | c1 br 3382 | c2 br 3388 | outcome |
|---|---|---|---|---|
| 710 | F | T | * | T |
| 711 | F | T | * | T |
| 4504 | F | T | * | T |
| 4505 | F | T | * | T |
| 8234 | F | T | * | T |
| 8235 | F | T | * | T |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::emit_call_indirect_edge — 3 br_if
c0(branch3381): GAP view gap →c1(branch3382): GAP view gap →c2(branch3388): DEAD view gap →