Decision #1093 — binary_reader.rs:1219
Status: no_witness
Truth table
| row | c0 br 7157 | c1 br 7158 | c2 br 7159 | c3 br 7160 | outcome |
|---|---|---|---|---|---|
| 181622 | * | F | F | T | T |
| 184940 | * | F | F | T | T |
| 188049 | * | F | F | T | T |
Independent-effect pairs
All 4 conditions live in <wasmparser::binary_reader::BinaryReader>::read_memarg — 4 br_if
c0(branch7157): DEAD view gap →c1(branch7158): GAP view gap →c2(branch7159): GAP view gap →c3(branch7160): GAP view gap →