Decision #568 — binary_reader.rs:1952
Status: unreached
Truth table
| row | c0 br 4304 | c1 br 4305 | c2 br 4306 | c3 br 4307 | c4 br 4308 | c5 br 4310 | c6 br 4311 | c7 br 4312 | outcome |
|---|
Independent-effect pairs
All 8 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfe_operator — 8 br_if
c0(branch4304): DEAD view gap →c1(branch4305): DEAD view gap →c2(branch4306): DEAD view gap →c3(branch4307): DEAD view gap →c4(branch4308): DEAD view gap →c5(branch4310): DEAD view gap →c6(branch4311): DEAD view gap →c7(branch4312): DEAD view gap →