Decision #1056 — binary_reader.rs:94
Status: unreached
Truth table
| row | c0 br 6644 | c1 br 6645 | outcome |
|---|
Independent-effect pairs
c0(branch6644): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::binary_reader::BinaryReader>::read_br_table::{closure#0}>· br_if
inlined: binary_reader.rs:519 ← binary_reader.rs:443 ← binary_reader.rs:422 ← binary_reader.rs:430c1(branch6645): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::binary_reader::BinaryReader>::read_br_table::{closure#0}>· br_if