Decision #508 — binary_reader.rs:1001
Status: no_witness
Truth table
| row | c0 br 3668 | c1 br 3670 | c2 br 3671 | c3 br 3672 | c4 br 3676 | outcome |
|---|---|---|---|---|---|---|
| 18161 | * | F | F | * | * | F |
| 25879 | * | F | F | * | * | F |
| 31607 | * | F | F | * | * | F |
| 37545 | * | F | F | * | * | F |
| 59620 | * | F | F | * | * | F |
| 69392 | * | F | F | * | * | F |
| 91220 | * | F | * | * | * | F |
| 107286 | * | F | F | * | * | F |
| 126149 | * | F | F | * | * | F |
Independent-effect pairs
All 5 conditions live in wasmparser::binary_reader::BinaryReader::visit_operator — 5 br_if
c0(branch3668): DEAD view gap →c1(branch3670): GAP view gap →c2(branch3671): GAP view gap →c3(branch3672): DEAD view gap →c4(branch3676): DEAD view gap →