Decision #553 — binary_reader.rs:1842
Status: unreached
Truth table
| row | c0 br 3981 | c1 br 3983 | c2 br 3985 | c3 br 3986 | c4 br 3989 | c5 br 3991 | outcome |
|---|
Independent-effect pairs
All 6 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfc_operator — 6 br_if
c0(branch3981): DEAD view gap →c1(branch3983): DEAD view gap →c2(branch3985): DEAD view gap →c3(branch3986): DEAD view gap →c4(branch3989): DEAD view gap →c5(branch3991): DEAD view gap →