Decision #612 — parser.rs:1249
Status: no_witness
Truth table
| row | c0 br 4553 | c1 br 4555 | c2 br 4556 | c3 br 4557 | outcome |
|---|---|---|---|---|---|
| 1173 | F | F | T | F | T |
| 1174 | F | F | T | F | T |
| 4213 | F | F | T | F | T |
| 4214 | F | F | T | F | T |
| 7162 | F | F | T | F | T |
| 7163 | F | F | T | F | T |
| 9809 | F | F | T | F | T |
| 9810 | F | F | T | F | T |
| 10957 | F | F | T | F | T |
| 10958 | F | F | T | F | T |
| 12048 | F | F | T | F | T |
| 12049 | F | F | T | F | T |
| 18191 | F | F | T | F | T |
| 18192 | F | F | T | F | T |
| 25909 | F | F | T | F | T |
| 25910 | F | F | T | F | T |
| 31635 | F | F | T | F | T |
| 31636 | F | F | T | F | T |
| 37573 | F | F | T | F | T |
| 37574 | F | F | T | F | T |
| 41167 | F | F | T | F | T |
| 41168 | F | F | T | F | T |
| 44180 | F | F | T | F | T |
| 44181 | F | F | T | F | T |
| 47632 | F | F | T | F | T |
| 47633 | F | F | T | F | T |
| 50707 | F | F | T | F | T |
| 50708 | F | F | T | F | T |
| 59650 | F | F | T | F | T |
| 59651 | F | F | T | F | T |
| 69422 | F | F | T | F | T |
| 69423 | F | F | T | F | T |
| 73621 | F | F | T | F | T |
| 73622 | F | F | T | F | T |
| 77096 | F | F | T | F | T |
| 77097 | F | F | T | F | T |
| 79589 | F | F | T | F | T |
| 79590 | F | F | T | F | T |
| 81020 | F | F | T | F | T |
| 81021 | F | F | T | F | T |
| 82207 | F | F | T | F | T |
| 82208 | F | F | T | F | T |
| 83269 | F | F | T | F | T |
| 83270 | F | F | T | F | T |
| 84538 | F | F | T | F | T |
| 84539 | F | F | T | F | T |
| 86388 | F | F | T | F | T |
| 86389 | F | F | T | F | T |
| 87869 | F | F | T | F | T |
| 87870 | F | F | T | F | T |
| 89726 | F | F | T | F | T |
| 89727 | F | F | T | F | T |
| 91272 | F | F | T | F | T |
| 91273 | F | F | T | F | T |
| 107318 | F | F | T | F | T |
| 107319 | F | F | T | F | T |
| 126181 | F | F | T | F | T |
| 126182 | F | F | T | F | T |
| 130212 | F | F | T | F | T |
| 130213 | F | F | T | F | T |
| 131387 | F | F | T | F | T |
| 131388 | F | F | T | F | T |
| 132714 | F | F | T | F | T |
| 132715 | F | F | T | F | T |
Independent-effect pairs
All 4 conditions live in wasmparser::binary_reader::BinaryReader::skip — 4 br_if
c0(branch4553): GAP view gap →c1(branch4555): GAP view gap →c2(branch4556): GAP view gap →c3(branch4557): GAP view gap →