Decision #630 — binary_reader.rs:421
Status: unreached
Truth table
| row | c0 br 4743 | c1 br 4744 | c2 br 4745 | outcome |
|---|
Independent-effect pairs
c0(branch4743): DEAD view gap →wasmparser::parser::Parser::parse_reader· br_if
inlined: binary_reader.rs:455c1(branch4744): DEAD view gap →wasmparser::parser::Parser::parse_reader· br_if
inlined: binary_reader.rs:455c2(branch4745): DEAD view gap →wasmparser::parser::Parser::parse_reader· br_if
inlined: binary_reader.rs:455