Decision #1055 — binary_reader.rs:424
Status: unreached
Truth table
| row | c0 br 6642 | c1 br 6643 | outcome |
|---|
Independent-effect pairs
c0(branch6642): 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:443c1(branch6643): 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