Decision #1682 — binary_reader.rs:94
Status: unreached
Truth table
| row | c0 br 7901 | c1 br 7902 | c2 br 7903 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in <wasmparser::binary_reader::BinaryReader>::read_ordering — 1 br_table_default + 2 br_table_target
c0(branch7901): DEAD view gap →c1(branch7902): DEAD view gap →c2(branch7903): DEAD view gap →