Decision #906 — binary_reader.rs:632
Status: unreached
Truth table
| row | c0 br 6570 | c1 br 6571 | outcome |
|---|
Independent-effect pairs
c0(branch6570): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_if· br_ifc1(branch6571): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_if· br_if