Decision #661 — binary_reader.rs:457
Status: unreached
Truth table
| row | c0 br 4828 | c1 br 4829 | outcome |
|---|
Independent-effect pairs
c0(branch4828): DEAD view gap →wasmparser::parser::section· br_ifc1(branch4829): DEAD view gap →wasmparser::parser::section· br_if