Decision #700 — binary_reader.rs:444
Status: no_witness
Truth table
| row | c0 br 5017 | c1 br 5018 | c2 br 5019 | c3 br 5020 | outcome |
|---|---|---|---|---|---|
| 1375 | F | F | T | * | T |
| 4415 | F | F | T | * | T |
| 7364 | F | F | T | * | T |
Independent-effect pairs
All 4 conditions live in <wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader — 4 br_if
c0(branch5017): GAP view gap →c1(branch5018): GAP view gap →c2(branch5019): GAP view gap →c3(branch5020): DEAD view gap →