Decision #564 — binary_reader.rs:1906
Status: unreached
Truth table
| row | c0 br 4261 | c1 br 4262 | c2 br 4263 | c3 br 4264 | c4 br 4265 | c5 br 4267 | c6 br 4268 | c7 br 4269 | c8 br 4271 | c9 br 4272 | outcome |
|---|
Independent-effect pairs
All 10 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfe_operator — 10 br_if
c0(branch4261): DEAD view gap →c1(branch4262): DEAD view gap →c2(branch4263): DEAD view gap →c3(branch4264): DEAD view gap →c4(branch4265): DEAD view gap →c5(branch4267): DEAD view gap →c6(branch4268): DEAD view gap →c7(branch4269): DEAD view gap →c8(branch4271): DEAD view gap →c9(branch4272): DEAD view gap →