Decision #198 — lib.rs:3401
Status: no_witness
Truth table
| row | c0 br 1680 | c1 br 1681 | c2 br 1682 | outcome |
|---|---|---|---|---|
| 589 | * | F | F | T |
| 590 | * | T | * | T |
| 591 | * | F | F | T |
| 592 | * | T | * | T |
| 3629 | * | F | F | T |
| 3630 | * | T | * | T |
| 3631 | * | F | F | T |
| 3632 | * | T | * | T |
| 6574 | * | F | F | T |
| 6575 | * | T | * | T |
| 6576 | * | F | F | T |
| 6577 | * | T | * | T |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::emit_call_indirect_edge — 3 br_if
c0(branch1680): DEAD view gap →c1(branch1681): GAP view gap →c2(branch1682): GAP view gap →