Decision #627 — binary_reader.rs:232
Status: no_witness
Truth table
| row | c0 br 4620 | c1 br 4622 | c2 br 4623 | outcome |
|---|---|---|---|---|
| 1179 | T | F | * | T |
| 1180 | T | F | * | T |
| 4219 | T | F | * | T |
| 4220 | T | F | * | T |
| 7168 | T | F | * | T |
| 7169 | T | F | * | T |
| 9811 | T | F | * | T |
| 9812 | T | F | * | T |
| 10959 | T | F | * | T |
| 10960 | T | F | * | T |
| 12050 | T | F | * | T |
| 12051 | T | F | * | T |
| 18193 | T | F | * | T |
| 18194 | T | F | * | T |
| 25911 | T | F | * | T |
| 25912 | T | F | * | T |
| 31637 | T | F | * | T |
| 31638 | T | F | * | T |
| 37575 | T | F | * | T |
| 37576 | T | F | * | T |
| 41170 | T | F | * | T |
| 41171 | T | F | * | T |
| 44183 | T | F | * | T |
| 44184 | T | F | * | T |
| 47635 | T | F | * | T |
| 47636 | T | F | * | T |
| 50710 | T | F | * | T |
| 50711 | T | F | * | T |
| 59652 | T | F | * | T |
| 59653 | T | F | * | T |
| 69424 | T | F | * | T |
| 69425 | T | F | * | T |
| 73623 | T | F | * | T |
| 73624 | T | F | * | T |
| 77098 | T | F | * | T |
| 77099 | T | F | * | T |
| 79592 | T | F | * | T |
| 79593 | T | F | * | T |
| 81022 | T | F | * | T |
| 81023 | T | F | * | T |
| 82209 | T | F | * | T |
| 82210 | T | F | * | T |
| 83271 | T | F | * | T |
| 83272 | T | F | * | T |
| 84545 | T | F | * | T |
| 84546 | T | F | * | T |
| 86395 | T | F | * | T |
| 86396 | T | F | * | T |
| 87876 | T | F | * | T |
| 87877 | T | F | * | T |
| 89734 | T | F | * | T |
| 89735 | T | F | * | T |
| 91279 | T | F | * | T |
| 91280 | T | F | * | T |
| 107320 | T | F | * | T |
| 107321 | T | F | * | T |
| 126183 | T | F | * | T |
| 126184 | T | F | * | T |
| 130214 | T | F | * | T |
| 130215 | T | F | * | T |
| 131389 | T | F | * | T |
| 131390 | T | F | * | T |
| 132716 | T | F | * | T |
| 132717 | T | F | * | T |
Independent-effect pairs
All 3 conditions live in wasmparser::parser::Parser::parse_reader — 3 br_if
c0(branch4620): GAP view gap →c1(branch4622): GAP view gap →c2(branch4623): DEAD view gap →