Decision #533 — binary_reader.rs:1364
Status: unreached
Truth table
| row | c0 br 3859 | c1 br 3860 | c2 br 3861 | c3 br 3862 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfb_operator — 4 br_if
c0(branch3859): DEAD view gap →c1(branch3860): DEAD view gap →c2(branch3861): DEAD view gap →c3(branch3862): DEAD view gap →