Decision #912 — operators.rs:948
Status: unreached
Truth table
| row | c0 br 6588 | c1 br 6589 | outcome |
|---|
Independent-effect pairs
c0(branch6588): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_catch_all· br_ifc1(branch6589): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_catch_all· br_if