Decision #995 — parser.rs:822
Status: no_witness
Truth table
| row | c0 br 7083 | c1 br 7085 | c2 br 7086 | outcome |
|---|---|---|---|---|
| 2067 | * | * | T | T |
| 2068 | * | * | T | T |
| 5858 | * | * | T | T |
| 5859 | * | * | T | T |
| 9639 | * | * | T | T |
| 9640 | * | * | T | T |
| 12423 | * | * | T | T |
| 12424 | * | * | T | T |
| 13797 | * | * | T | T |
| 13798 | * | * | T | T |
| 15124 | * | * | T | T |
| 15125 | * | * | T | T |
| 22555 | * | * | T | T |
| 22556 | * | * | T | T |
| 32033 | * | * | T | T |
| 32034 | * | * | T | T |
| 38352 | * | * | T | T |
| 38353 | * | * | T | T |
| 44565 | * | * | T | T |
| 44566 | * | * | T | T |
| 49208 | * | * | T | T |
| 49209 | * | * | T | T |
| 53409 | * | * | T | T |
| 53410 | * | * | T | T |
| 57939 | * | * | T | T |
| 57940 | * | * | T | T |
| 62132 | * | * | T | T |
| 62133 | * | * | T | T |
| 72675 | * | * | T | T |
| 72676 | * | * | T | T |
| 84188 | * | * | T | T |
| 84189 | * | * | T | T |
| 89726 | * | * | T | T |
| 89727 | * | * | T | T |
| 93994 | * | * | T | T |
| 93995 | * | * | T | T |
| 96725 | * | * | T | T |
| 96726 | * | * | T | T |
| 98490 | * | * | T | T |
| 98491 | * | * | T | T |
| 100005 | * | * | T | T |
| 100006 | * | * | T | T |
| 101423 | * | * | T | T |
| 101424 | * | * | T | T |
| 103505 | * | * | T | T |
| 103506 | * | * | T | T |
| 107215 | * | * | T | T |
| 107216 | * | * | T | T |
| 109678 | * | * | T | T |
| 109679 | * | * | T | T |
| 112697 | * | * | T | T |
| 112698 | * | * | T | T |
| 115580 | * | * | T | T |
| 115581 | * | * | T | T |
| 135391 | * | * | T | T |
| 135392 | * | * | T | T |
| 158327 | * | * | T | T |
| 158328 | * | * | T | T |
| 163748 | * | * | T | T |
| 163749 | * | * | T | T |
| 165329 | * | * | T | T |
| 165330 | * | * | T | T |
| 167049 | * | * | T | T |
| 167050 | * | * | T | T |
Independent-effect pairs
All 3 conditions live in <wasmparser::parser::Parser>::parse_reader — 3 br_if
c0(branch7083): DEAD view gap →c1(branch7085): DEAD view gap →c2(branch7086): GAP view gap →