Decision #1021 — types.rs:373
Status: no_witness
Truth table
| row | c0 br 7248 | c1 br 7249 | c2 br 7250 | outcome |
|---|---|---|---|---|
| 2158 | F | * | * | F |
| 5949 | F | * | * | F |
| 9730 | F | * | * | F |
Independent-effect pairs
All 3 conditions live in <wasmparser::binary_reader::BinaryReader>::read_var_s33 — 3 br_if
c0(branch7248): GAP view gap →c1(branch7249): DEAD view gap →c2(branch7250): DEAD view gap →