Decision #1231 — parser.rs:796
Status: no_witness
Truth table
| row | c0 br 8292 | c1 br 8307 | c2 br 8308 | outcome |
|---|---|---|---|---|
| 2632 | T | T | * | T |
| 2633 | T | T | * | T |
| 9589 | T | T | * | T |
| 9590 | T | T | * | T |
| 16410 | T | T | * | T |
| 16411 | T | T | * | T |
| 22269 | T | T | * | T |
| 22270 | T | T | * | T |
| 25009 | T | T | * | T |
| 25010 | T | T | * | T |
| 27655 | T | T | * | T |
| 27656 | T | T | * | T |
| 39063 | T | T | * | T |
| 39064 | T | T | * | T |
| 59915 | T | T | * | T |
| 59916 | T | T | * | T |
| 75449 | T | T | * | T |
| 75450 | T | T | * | T |
| 85332 | T | T | * | T |
| 85333 | T | T | * | T |
| 93594 | T | T | * | T |
| 93595 | T | T | * | T |
| 101435 | T | T | * | T |
| 101436 | T | T | * | T |
| 109919 | T | T | * | T |
| 109920 | T | T | * | T |
| 117938 | T | T | * | T |
| 117939 | T | T | * | T |
| 132420 | T | T | * | T |
| 132421 | T | T | * | T |
| 149139 | T | T | * | T |
| 149140 | T | T | * | T |
| 160147 | T | T | * | T |
| 160148 | T | T | * | T |
| 170005 | T | T | * | T |
| 170006 | T | T | * | T |
| 177255 | T | T | * | T |
| 177256 | T | T | * | T |
| 181774 | T | T | * | T |
| 181775 | T | T | * | T |
| 185090 | T | T | * | T |
| 185091 | T | T | * | T |
| 188201 | T | T | * | T |
| 188202 | T | T | * | T |
| 192265 | T | T | * | T |
| 192266 | T | T | * | T |
| 198280 | T | T | * | T |
| 198281 | T | T | * | T |
| 204119 | T | T | * | T |
| 204120 | T | T | * | T |
| 209391 | T | T | * | T |
| 209392 | T | T | * | T |
| 217063 | T | T | * | T |
| 217064 | T | T | * | T |
| 252888 | T | T | * | T |
| 252889 | T | T | * | T |
| 330265 | T | T | * | T |
| 330266 | T | T | * | T |
| 377702 | T | T | * | T |
| 377703 | T | T | * | T |
| 380363 | T | T | * | T |
| 380364 | T | T | * | T |
| 383244 | T | T | * | T |
| 383245 | T | T | * | T |
Independent-effect pairs
All 3 conditions live in <wasmparser::parser::Parser>::parse_reader — 3 br_if
c0(branch8292): GAP view gap →c1(branch8307): GAP view gap →c2(branch8308): DEAD view gap →