Decision #911 — binary_reader.rs:403
Status: unreached
Truth table
| row | c0 br 6583 | c1 br 6584 | outcome |
|---|
Independent-effect pairs
c0(branch6583): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_catch· br_ifc1(branch6584): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_catch· br_if