Decision #617 — parser.rs:1272
Status: no_witness
Truth table
| row | c0 br 4570 | c1 br 4571 | c2 br 4572 | c3 br 4573 | outcome |
|---|---|---|---|---|---|
| 84540 | F | F | F | T | T |
| 84541 | F | F | F | T | T |
| 86390 | F | F | F | T | T |
| 86391 | F | F | F | T | T |
| 87871 | F | F | F | T | T |
| 87872 | F | F | F | T | T |
| 89728 | F | F | F | T | T |
| 89729 | F | F | F | T | T |
| 91274 | F | F | F | T | T |
| 91275 | F | F | F | T | T |
Independent-effect pairs
All 4 conditions live in wasmparser::binary_reader::BinaryReader::skip — 4 br_if
c0(branch4570): GAP view gap →c1(branch4571): GAP view gap →c2(branch4572): GAP view gap →c3(branch4573): GAP view gap →