Decision #498 — binary_reader.rs:1009
Status: unreached
Truth table
| row | c0 br 3343 | c1 br 3344 | c2 br 3345 | c3 br 3350 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in wasmparser::binary_reader::BinaryReader::read_ordering — 4 br_if
c0(branch3343): DEAD view gap →c1(branch3344): DEAD view gap →c2(branch3345): DEAD view gap →c3(branch3350): DEAD view gap →