Decision #1152 — binary_reader.rs:641
Status: unreached
Truth table
| row | c0 br 7811 | c1 br 7812 | outcome |
|---|
Independent-effect pairs
c0(branch7811): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_else· br_ifc1(branch7812): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_else· br_if