Decision #907 — binary_reader.rs:94
Status: unreached
Truth table
| row | c0 br 6573 | c1 br 6574 | outcome |
|---|
Independent-effect pairs
c0(branch6573): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_else· br_if
inlined: binary_reader.rs:636 ← binary_reader.rs:422 ← binary_reader.rs:430c1(branch6574): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_else· br_if