Decision #497 — lib.rs:4480
Status: no_witness
Truth table
| row | c0 br 3395 | c1 br 3396 | c2 br 3397 | outcome |
|---|---|---|---|---|
| 712 | * | F | F | T |
| 713 | * | F | F | T |
| 4506 | * | F | F | T |
| 4507 | * | F | F | T |
| 8236 | * | F | F | T |
| 8237 | * | F | F | T |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::emit_call_indirect_edge — 3 br_if
c0(branch3395): DEAD view gap →c1(branch3396): GAP view gap →c2(branch3397): GAP view gap →