Decision #1003 — binary_reader.rs:1013
Status: unreached
Truth table
| row | c0 br 3347 | c1 br 3348 | c2 br 3349 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in wasmparser::binary_reader::BinaryReader::read_ordering — 1 br_table_default + 2 br_table_target
c0(branch3347): DEAD view gap →c1(branch3348): DEAD view gap →c2(branch3349): DEAD view gap →