Decision #817 — binary_reader.rs:517
Status: unreached
Truth table
| row | c0 br 5400 | c1 br 5402 | outcome |
|---|
Independent-effect pairs
c0(branch5400): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::binary_reader::BinaryReader>::read_br_table::{closure#0}>· br_ifc1(branch5402): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::binary_reader::BinaryReader>::read_br_table::{closure#0}>· br_if