Decision #532 — binary_reader.rs:1343
Status: unreached
Truth table
| row | c0 br 3850 | c1 br 3851 | c2 br 3856 | c3 br 3857 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfb_operator — 4 br_if
c0(branch3850): DEAD view gap →c1(branch3851): DEAD view gap →c2(branch3856): DEAD view gap →c3(branch3857): DEAD view gap →