Decision #908 — binary_reader.rs:651
Status: unreached
Truth table
| row | c0 br 6575 | c1 br 6576 | outcome |
|---|
Independent-effect pairs
c0(branch6575): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_try· br_ifc1(branch6576): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_try· br_if