Decision #642 — parser.rs:806
Status: no_witness
Truth table
| row | c0 br 4666 | c1 br 4668 | c2 br 4669 | outcome |
|---|---|---|---|---|
| 1261 | * | * | T | T |
| 1262 | * | * | T | T |
| 4301 | * | * | T | T |
| 4302 | * | * | T | T |
| 7250 | * | * | T | T |
| 7251 | * | * | T | T |
| 9857 | * | * | T | T |
| 9858 | * | * | T | T |
| 11005 | * | * | T | T |
| 11006 | * | * | T | T |
| 12096 | * | * | T | T |
| 12097 | * | * | T | T |
| 18239 | * | * | T | T |
| 18240 | * | * | T | T |
| 25957 | * | * | T | T |
| 25958 | * | * | T | T |
| 31683 | * | * | T | T |
| 31684 | * | * | T | T |
| 37621 | * | * | T | T |
| 37622 | * | * | T | T |
| 41234 | * | * | T | T |
| 41235 | * | * | T | T |
| 44247 | * | * | T | T |
| 44248 | * | * | T | T |
| 47699 | * | * | T | T |
| 47700 | * | * | T | T |
| 50774 | * | * | T | T |
| 50775 | * | * | T | T |
| 59698 | * | * | T | T |
| 59699 | * | * | T | T |
| 69470 | * | * | T | T |
| 69471 | * | * | T | T |
| 73699 | * | * | T | T |
| 73700 | * | * | T | T |
| 77174 | * | * | T | T |
| 77175 | * | * | T | T |
| 79656 | * | * | T | T |
| 79657 | * | * | T | T |
| 81074 | * | * | T | T |
| 81075 | * | * | T | T |
| 82261 | * | * | T | T |
| 82262 | * | * | T | T |
| 83323 | * | * | T | T |
| 83324 | * | * | T | T |
| 84605 | * | * | T | T |
| 84606 | * | * | T | T |
| 86467 | * | * | T | T |
| 86468 | * | * | T | T |
| 87936 | * | * | T | T |
| 87937 | * | * | T | T |
| 89800 | * | * | T | T |
| 89801 | * | * | T | T |
| 91339 | * | * | T | T |
| 91340 | * | * | T | T |
| 107366 | * | * | T | T |
| 107367 | * | * | T | T |
| 126229 | * | * | T | T |
| 126230 | * | * | T | T |
| 130260 | * | * | T | T |
| 130261 | * | * | T | T |
| 131435 | * | * | T | T |
| 131436 | * | * | T | T |
| 132762 | * | * | T | T |
| 132763 | * | * | T | T |
Independent-effect pairs
All 3 conditions live in wasmparser::parser::Parser::parse_reader — 3 br_if
c0(branch4666): DEAD view gap →c1(branch4668): DEAD view gap →c2(branch4669): GAP view gap →