Decision #666 — parser.rs:643
Status: no_witness
Truth table
| row | c0 br 4851 | c1 br 4852 | c2 br 4853 | c3 br 4854 | outcome |
|---|---|---|---|---|---|
| 1293 | F | F | F | * | F |
| 1294 | F | F | F | * | F |
| 4333 | F | F | F | * | F |
| 4334 | F | F | F | * | F |
| 7282 | F | F | F | * | F |
| 7283 | F | F | F | * | F |
| 9877 | F | F | F | * | F |
| 9878 | F | F | F | * | F |
| 11025 | F | F | F | * | F |
| 11026 | F | F | F | * | F |
| 12116 | F | F | F | * | F |
| 12117 | F | F | F | * | F |
| 18259 | F | F | F | * | F |
| 18260 | F | F | F | * | F |
| 25977 | F | F | F | * | F |
| 25978 | F | F | F | * | F |
| 31703 | F | F | F | * | F |
| 31704 | F | F | F | * | F |
| 37641 | F | F | F | * | F |
| 37642 | F | F | F | * | F |
| 41256 | F | F | F | * | F |
| 41257 | F | F | F | * | F |
| 44269 | F | F | F | * | F |
| 44270 | F | F | F | * | F |
| 47721 | F | F | F | * | F |
| 47722 | F | F | F | * | F |
| 50796 | F | F | F | * | F |
| 50797 | F | F | F | * | F |
| 59718 | F | F | F | * | F |
| 59719 | F | F | F | * | F |
| 69490 | F | F | F | * | F |
| 69491 | F | F | F | * | F |
| 73719 | F | F | F | * | F |
| 73720 | F | F | F | * | F |
| 77194 | F | F | F | * | F |
| 77195 | F | F | F | * | F |
| 79678 | F | F | F | * | F |
| 79679 | F | F | F | * | F |
| 81098 | F | F | F | * | F |
| 81099 | F | F | F | * | F |
| 82285 | F | F | F | * | F |
| 82286 | F | F | F | * | F |
| 83347 | F | F | F | * | F |
| 83348 | F | F | F | * | F |
| 84629 | F | F | F | * | F |
| 84630 | F | F | F | * | F |
| 86491 | F | F | F | * | F |
| 86492 | F | F | F | * | F |
| 87960 | F | F | F | * | F |
| 87961 | F | F | F | * | F |
| 89824 | F | F | F | * | F |
| 89825 | F | F | F | * | F |
| 91363 | F | F | F | * | F |
| 91364 | F | F | F | * | F |
| 107386 | F | F | F | * | F |
| 107387 | F | F | F | * | F |
| 126249 | F | F | F | * | F |
| 126250 | F | F | F | * | F |
| 130280 | F | F | F | * | F |
| 130281 | F | F | F | * | F |
| 131455 | F | F | F | * | F |
| 131456 | F | F | F | * | F |
| 132782 | F | F | F | * | F |
| 132783 | F | F | F | * | F |
Independent-effect pairs
All 4 conditions live in wasmparser::parser::Parser::check_function_code_counts — 4 br_if
c0(branch4851): GAP view gap →c1(branch4852): GAP view gap →c2(branch4853): GAP view gap →c3(branch4854): DEAD view gap →