Decision #480 — readers.rs:212
Status: no_witness
Truth table
| row | c0 br 3236 | c1 br 3237 | c2 br 3238 | outcome |
|---|---|---|---|---|
| 18135 | F | T | F | F |
| 25853 | F | T | F | F |
| 31582 | F | T | F | F |
| 37520 | F | T | F | F |
| 59594 | F | T | F | F |
| 69366 | F | T | F | F |
| 107259 | F | T | F | F |
| 126122 | F | T | F | F |
Independent-effect pairs
All 3 conditions live in wasmparser::readers::core::code::LocalsReader::read — 3 br_if
c0(branch3236): GAP view gap →c1(branch3237): GAP view gap →c2(branch3238): GAP view gap →