Decision #981 — binary_reader.rs:444
Status: unreached
Truth table
| row | c0 br 7157 | c1 br 7158 | c2 br 7159 | c3 br 7160 | c4 br 7161 | outcome |
|---|
Independent-effect pairs
c0(branch7157): DEAD view gap →<wasmparser::parser::Parser>::parse_reader· br_ifc1(branch7158): DEAD view gap →<wasmparser::parser::Parser>::parse_reader· br_if
inlined: code.rs:62 ← code.rs:40 ← binary_reader.rs:447c2(branch7159): DEAD view gap →<wasmparser::parser::Parser>::parse_reader· br_if
inlined: code.rs:62 ← code.rs:40 ← binary_reader.rs:447c3(branch7160): DEAD view gap →<wasmparser::parser::Parser>::parse_reader· br_if
inlined: code.rs:62 ← code.rs:40 ← binary_reader.rs:447c4(branch7161): DEAD view gap →<wasmparser::parser::Parser>::parse_reader· br_if
inlined: code.rs:62 ← code.rs:40 ← binary_reader.rs:447