Decision #1692 — binary_reader.rs:472
Status: unreached
Truth table
| row | c0 br 8034 | c1 br 8035 | c2 br 8036 | c3 br 8037 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in <wasmparser::binary_reader::BinaryReaderIter<u32> as core::ops::drop::Drop>::drop — 1 br_table_default + 3 br_table_target
c0(branch8034): DEAD view gap →c1(branch8035): DEAD view gap →c2(branch8036): DEAD view gap →c3(branch8037): DEAD view gap →