Decision #1249 — binary_reader.rs:93
Status: no_witness
Truth table
| row | c0 br 8451 | c1 br 8453 | outcome |
|---|---|---|---|
| 2711 | * | T | T |
| 2712 | * | T | T |
| 2713 | * | T | T |
| 2714 | * | T | T |
| 2715 | * | T | T |
| 9668 | * | T | T |
| 9669 | * | T | T |
| 9670 | * | T | T |
| 9671 | * | T | T |
| 9672 | * | T | T |
| 16489 | * | T | T |
| 16490 | * | T | T |
| 16491 | * | T | T |
| 16492 | * | T | T |
| 16493 | * | T | T |
| 22316 | * | T | T |
| 25056 | * | T | T |
| 27702 | * | T | T |
| 39110 | * | T | T |
| 59962 | * | T | T |
| 75496 | * | T | T |
| 85379 | * | T | T |
| 93657 | * | T | T |
| 93658 | * | T | T |
| 93659 | * | T | T |
| 101498 | * | T | T |
| 101499 | * | T | T |
| 101500 | * | T | T |
| 109982 | * | T | T |
| 109983 | * | T | T |
| 109984 | * | T | T |
| 118001 | * | T | T |
| 118002 | * | T | T |
| 118003 | * | T | T |
| 132467 | * | T | T |
| 149186 | * | T | T |
| 160219 | * | T | T |
| 160220 | * | T | T |
| 160221 | * | T | T |
| 160222 | * | T | T |
| 160223 | * | T | T |
| 160224 | * | T | T |
| 170077 | * | T | T |
| 170078 | * | T | T |
| 170079 | * | T | T |
| 170080 | * | T | T |
| 170081 | * | T | T |
| 170082 | * | T | T |
| 177318 | * | T | T |
| 177319 | * | T | T |
| 177320 | * | T | T |
| 181829 | * | T | T |
| 185145 | * | T | T |
| 188256 | * | T | T |
| 192324 | * | T | T |
| 198349 | * | T | T |
| 198350 | * | T | T |
| 198351 | * | T | T |
| 204178 | * | T | T |
| 209455 | * | T | T |
| 209456 | * | T | T |
| 217122 | * | T | T |
| 252935 | * | T | T |
| 330312 | * | T | T |
| 377749 | * | T | T |
| 380410 | * | T | T |
| 383291 | * | T | T |
Independent-effect pairs
c0(branch8451): DEAD view gap →<wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators· br_ifc1(branch8453): GAP view gap →<wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators· br_if