Decision #567 — binary_reader.rs:1941
Status: unreached
Truth table
| row | c0 br 4295 | c1 br 4296 | c2 br 4297 | c3 br 4299 | c4 br 4301 | c5 br 4302 | c6 br 4303 | outcome |
|---|
Independent-effect pairs
All 7 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfe_operator — 7 br_if
c0(branch4295): DEAD view gap →c1(branch4296): DEAD view gap →c2(branch4297): DEAD view gap →c3(branch4299): DEAD view gap →c4(branch4301): DEAD view gap →c5(branch4302): DEAD view gap →c6(branch4303): DEAD view gap →