Decision #1013 — binary_reader.rs:606
Status: no_witness
Truth table
| row | c0 br 7217 | c1 br 7219 | outcome |
|---|---|---|---|
| 22601 | * | T | T |
| 32079 | * | T | T |
| 38398 | * | T | T |
| 44611 | * | T | T |
| 72721 | * | T | T |
| 84234 | * | T | T |
| 135437 | * | T | T |
| 158373 | * | T | T |
Independent-effect pairs
c0(branch7217): DEAD view gap →<wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators· br_ifc1(branch7219): GAP view gap →<wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators· br_if