Decision #602 — binary_reader.rs:521
Status: no_witness
Truth table
| row | c0 br 4523 | c1 br 4525 | c2 br 4526 | outcome |
|---|---|---|---|---|
| 41163 | F | F | F | T |
| 41164 | F | F | F | T |
| 44176 | F | F | F | T |
| 44177 | F | F | F | T |
| 47628 | F | F | F | T |
| 47629 | F | F | F | T |
| 50703 | F | F | F | T |
| 50704 | F | F | F | T |
| 79585 | F | F | F | T |
| 79586 | F | F | F | T |
| 84534 | F | F | F | T |
| 84535 | F | F | F | T |
| 86384 | F | F | F | T |
| 86385 | F | F | F | T |
| 87865 | F | F | F | T |
| 87866 | F | F | F | T |
| 89722 | F | F | F | T |
| 89723 | F | F | F | T |
| 91268 | F | F | F | T |
| 91269 | F | F | F | T |
Independent-effect pairs
All 3 conditions live in wasmparser::binary_reader::BinaryReader::skip — 3 br_if
c0(branch4523): GAP view gap →c1(branch4525): GAP view gap →c2(branch4526): GAP view gap →