Decision #852 — binary_reader.rs:93
Status: unreached
Truth table
| row | c0 br 5901 | c1 br 5902 | outcome |
|---|
Independent-effect pairs
c0(branch5901): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_br_table· br_if
inlined: binary_reader.rs:1216 ← binary_reader.rs:443 ← binary_reader.rs:422c1(branch5902): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_br_table· br_if