Decision #1007 — binary_reader.rs:93
Status: no_witness
Truth table
| row | c0 br 7191 | c1 br 7192 | outcome |
|---|---|---|---|
| 2135 | T | F | T |
| 2136 | T | F | T |
| 2137 | T | F | T |
| 2138 | T | F | T |
| 2139 | T | F | T |
| 5926 | T | F | T |
| 5927 | T | F | T |
| 5928 | T | F | T |
| 5929 | T | F | T |
| 5930 | T | F | T |
| 9707 | T | F | T |
| 9708 | T | F | T |
| 9709 | T | F | T |
| 9710 | T | F | T |
| 9711 | T | F | T |
| 12465 | T | F | T |
| 13839 | T | F | T |
| 15166 | T | F | T |
| 22597 | T | F | T |
| 32075 | T | F | T |
| 38394 | T | F | T |
| 44607 | T | F | T |
| 49260 | T | F | T |
| 49261 | T | F | T |
| 49262 | T | F | T |
| 53461 | T | F | T |
| 53462 | T | F | T |
| 53463 | T | F | T |
| 57991 | T | F | T |
| 57992 | T | F | T |
| 57993 | T | F | T |
| 62184 | T | F | T |
| 62185 | T | F | T |
| 62186 | T | F | T |
| 72717 | T | F | T |
| 84230 | T | F | T |
| 89778 | T | F | T |
| 89779 | T | F | T |
| 89780 | T | F | T |
| 89781 | T | F | T |
| 89782 | T | F | T |
| 89783 | T | F | T |
| 94046 | T | F | T |
| 94047 | T | F | T |
| 94048 | T | F | T |
| 94049 | T | F | T |
| 94050 | T | F | T |
| 94051 | T | F | T |
| 96777 | T | F | T |
| 96778 | T | F | T |
| 96779 | T | F | T |
| 98544 | T | F | T |
| 100059 | T | F | T |
| 101477 | T | F | T |
| 103563 | T | F | T |
| 107277 | T | F | T |
| 107278 | T | F | T |
| 107279 | T | F | T |
| 109736 | T | F | T |
| 112757 | T | F | T |
| 112758 | T | F | T |
| 115638 | T | F | T |
| 135433 | T | F | T |
| 158369 | T | F | T |
| 163790 | T | F | T |
| 165371 | T | F | T |
| 167091 | T | F | T |
Independent-effect pairs
c0(branch7191): GAP view gap →<wasmparser::readers::core::code::FunctionBody>::get_locals_reader· br_if
inlined: binary_reader.rs:378 ← binary_reader.rs:443 ← binary_reader.rs:422c1(branch7192): GAP view gap →<wasmparser::readers::core::code::FunctionBody>::get_locals_reader· br_if