Decision #673 — binary_reader.rs:420
Status: unreached
Truth table
| row | c0 br 4877 | c1 br 4878 | outcome |
|---|
Independent-effect pairs
c0(branch4877): DEAD view gap →wasmparser::parser::section· br_if
inlined: code.rs:62 ← code.rs:40 ← binary_reader.rs:443c1(branch4878): DEAD view gap →wasmparser::parser::section· br_if
inlined: code.rs:62 ← code.rs:40 ← binary_reader.rs:443