Decision #1010 — binary_reader.rs:420
Status: unreached
Truth table
| row | c0 br 7204 | c1 br 7205 | c2 br 7206 | outcome |
|---|
Independent-effect pairs
c0(branch7204): DEAD view gap →<wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators· br_if
inlined: binary_reader.rs:597c1(branch7205): DEAD view gap →<wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators· br_if
inlined: binary_reader.rs:597c2(branch7206): DEAD view gap →<wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators· br_if
inlined: binary_reader.rs:597