Decision #941 — binary_reader.rs:93
Status: unreached
Truth table
| row | c0 br 6801 | c1 br 6802 | outcome |
|---|
Independent-effect pairs
c0(branch6801): DEAD view gap →<wasmparser::readers::core::operators::BrTableTargets as core::iter::traits::iterator::Iterator>::next· br_if
inlined: binary_reader.rs:443 ← binary_reader.rs:422c1(branch6802): DEAD view gap →<wasmparser::readers::core::operators::BrTableTargets as core::iter::traits::iterator::Iterator>::next· br_if