Decision #622 — lib.rs:6263
Status: no_witness
Truth table
| row | c0 br 4214 | c1 br 4216 | c2 br 4220 | outcome |
|---|---|---|---|---|
| 1441 | * | F | T | T |
| 1442 | * | F | T | T |
| 8401 | * | F | T | T |
| 8402 | * | F | T | T |
| 15202 | * | F | T | T |
| 15203 | * | F | T | T |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::emit_call_indirect_edge — 3 br_if
c0(branch4214): DEAD view gap →c1(branch4216): GAP view gap →c2(branch4220): GAP view gap →