Decision #493 — lib.rs:4605
Status: no_witness
Truth table
| row | c0 br 3354 | c1 br 3357 | c2 br 3358 | outcome |
|---|---|---|---|---|
| 706 | * | T | F | T |
| 707 | * | T | F | T |
| 708 | T | T | F | T |
| 709 | * | T | F | T |
| 4500 | * | T | F | T |
| 4501 | * | T | F | T |
| 4502 | * | T | F | T |
| 4503 | * | T | F | T |
| 8230 | * | T | F | T |
| 8231 | * | T | F | T |
| 8232 | T | T | F | T |
| 8233 | * | T | F | T |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::emit_call_indirect_edge — 3 br_if
c0(branch3354): GAP view gap →c1(branch3357): GAP view gap →c2(branch3358): GAP view gap →