Decision #853 — binary_reader.rs:1216
Status: unreached
Truth table
| row | c0 br 5904 | c1 br 5905 | outcome |
|---|
Independent-effect pairs
c0(branch5904): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_br_table· br_ifc1(branch5905): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_br_table· br_if