Decision #994 — parser.rs:806
Status: no_witness
Truth table
| row | c0 br 7074 | c1 br 7075 | c2 br 7076 | c3 br 7077 | c4 br 7078 | outcome |
|---|---|---|---|---|---|---|
| 2055 | * | * | * | * | F | T |
| 2056 | * | * | * | * | F | T |
| 2057 | * | * | * | * | F | T |
| 2058 | * | * | * | * | F | T |
| 2059 | * | * | * | * | F | T |
| 2060 | * | * | * | T | T | T |
| 2061 | * | * | * | * | F | T |
| 2062 | * | * | * | * | F | T |
| 2063 | * | * | * | * | F | T |
| 2064 | * | * | * | * | F | T |
| 2065 | * | * | * | * | F | T |
| 2066 | * | * | * | T | T | T |
| 5846 | * | * | * | * | F | T |
| 5847 | * | * | * | * | F | T |
| 5848 | * | * | * | * | F | T |
| 5849 | * | * | * | * | F | T |
| 5850 | * | * | * | * | F | T |
| 5851 | * | * | * | T | T | T |
| 5852 | * | * | * | * | F | T |
| 5853 | * | * | * | * | F | T |
| 5854 | * | * | * | * | F | T |
| 5855 | * | * | * | * | F | T |
| 5856 | * | * | * | * | F | T |
| 5857 | * | * | * | T | T | T |
| 9627 | * | * | * | * | F | T |
| 9628 | * | * | * | * | F | T |
| 9629 | * | * | * | * | F | T |
| 9630 | * | * | * | * | F | T |
| 9631 | * | * | * | * | F | T |
| 9632 | * | * | * | T | T | T |
| 9633 | * | * | * | * | F | T |
| 9634 | * | * | * | * | F | T |
| 9635 | * | * | * | * | F | T |
| 9636 | * | * | * | * | F | T |
| 9637 | * | * | * | * | F | T |
| 9638 | * | * | * | T | T | T |
| 12419 | * | * | * | * | F | T |
| 12420 | * | * | * | T | T | T |
| 12421 | * | * | * | * | F | T |
| 12422 | * | * | * | T | T | T |
| 13793 | * | * | * | * | F | T |
| 13794 | * | * | * | T | T | T |
| 13795 | * | * | * | * | F | T |
| 13796 | * | * | * | T | T | T |
| 15120 | * | * | * | * | F | T |
| 15121 | * | * | * | T | T | T |
| 15122 | * | * | * | * | F | T |
| 15123 | * | * | * | T | T | T |
| 22551 | * | * | * | * | F | T |
| 22552 | * | * | * | T | T | T |
| 22553 | * | * | * | * | F | T |
| 22554 | * | * | * | T | T | T |
| 32029 | * | * | * | * | F | T |
| 32030 | * | * | * | T | T | T |
| 32031 | * | * | * | * | F | T |
| 32032 | * | * | * | T | T | T |
| 38348 | * | * | * | * | F | T |
| 38349 | * | * | * | T | T | T |
| 38350 | * | * | * | * | F | T |
| 38351 | * | * | * | T | T | T |
| 44561 | * | * | * | * | F | T |
| 44562 | * | * | * | T | T | T |
| 44563 | * | * | * | * | F | T |
| 44564 | * | * | * | T | T | T |
| 49200 | * | * | * | * | F | T |
| 49201 | * | * | * | * | F | T |
| 49202 | * | * | * | * | F | T |
| 49203 | * | * | * | T | T | T |
| 49204 | * | * | * | * | F | T |
| 49205 | * | * | * | * | F | T |
| 49206 | * | * | * | * | F | T |
| 49207 | * | * | * | T | T | T |
| 53401 | * | * | * | * | F | T |
| 53402 | * | * | * | * | F | T |
| 53403 | * | * | * | * | F | T |
| 53404 | * | * | * | T | T | T |
| 53405 | * | * | * | * | F | T |
| 53406 | * | * | * | * | F | T |
| 53407 | * | * | * | * | F | T |
| 53408 | * | * | * | T | T | T |
| 57931 | * | * | * | * | F | T |
| 57932 | * | * | * | * | F | T |
| 57933 | * | * | * | * | F | T |
| 57934 | * | * | * | T | T | T |
| 57935 | * | * | * | * | F | T |
| 57936 | * | * | * | * | F | T |
| 57937 | * | * | * | * | F | T |
| 57938 | * | * | * | T | T | T |
| 62124 | * | * | * | * | F | T |
| 62125 | * | * | * | * | F | T |
| 62126 | * | * | * | * | F | T |
| 62127 | * | * | * | T | T | T |
| 62128 | * | * | * | * | F | T |
| 62129 | * | * | * | * | F | T |
| 62130 | * | * | * | * | F | T |
| 62131 | * | * | * | T | T | T |
| 72671 | * | * | * | * | F | T |
| 72672 | * | * | * | T | T | T |
| 72673 | * | * | * | * | F | T |
| 72674 | * | * | * | T | T | T |
| 84184 | * | * | * | * | F | T |
| 84185 | * | * | * | T | T | T |
| 84186 | * | * | * | * | F | T |
| 84187 | * | * | * | T | T | T |
| 89712 | * | * | * | * | F | T |
| 89713 | * | * | * | * | F | T |
| 89714 | * | * | * | * | F | T |
| 89715 | * | * | * | * | F | T |
| 89716 | * | * | * | * | F | T |
| 89717 | * | * | * | * | F | T |
| 89718 | * | * | * | T | T | T |
| 89719 | * | * | * | * | F | T |
| 89720 | * | * | * | * | F | T |
| 89721 | * | * | * | * | F | T |
| 89722 | * | * | * | * | F | T |
| 89723 | * | * | * | * | F | T |
| 89724 | * | * | * | * | F | T |
| 89725 | * | * | * | T | T | T |
| 93980 | * | * | * | * | F | T |
| 93981 | * | * | * | * | F | T |
| 93982 | * | * | * | * | F | T |
| 93983 | * | * | * | * | F | T |
| 93984 | * | * | * | * | F | T |
| 93985 | * | * | * | * | F | T |
| 93986 | * | * | * | T | T | T |
| 93987 | * | * | * | * | F | T |
| 93988 | * | * | * | * | F | T |
| 93989 | * | * | * | * | F | T |
| 93990 | * | * | * | * | F | T |
| 93991 | * | * | * | * | F | T |
| 93992 | * | * | * | * | F | T |
| 93993 | * | * | * | T | T | T |
| 96717 | * | * | * | * | F | T |
| 96718 | * | * | * | * | F | T |
| 96719 | * | * | * | * | F | T |
| 96720 | * | * | * | T | T | T |
| 96721 | * | * | * | * | F | T |
| 96722 | * | * | * | * | F | T |
| 96723 | * | * | * | * | F | T |
| 96724 | * | * | * | T | T | T |
| 98486 | * | * | * | * | F | T |
| 98487 | * | * | * | T | T | T |
| 98488 | * | * | * | * | F | T |
| 98489 | * | * | * | T | T | T |
| 100001 | * | * | * | * | F | T |
| 100002 | * | * | * | T | T | T |
| 100003 | * | * | * | * | F | T |
| 100004 | * | * | * | T | T | T |
| 101419 | * | * | * | * | F | T |
| 101420 | * | * | * | T | T | T |
| 101421 | * | * | * | * | F | T |
| 101422 | * | * | * | T | T | T |
| 103501 | * | * | * | * | F | T |
| 103502 | * | * | * | T | T | T |
| 103503 | * | * | * | * | F | T |
| 103504 | * | * | * | T | T | T |
| 107207 | * | * | * | * | F | T |
| 107208 | * | * | * | * | F | T |
| 107209 | * | * | * | * | F | T |
| 107210 | * | * | * | T | T | T |
| 107211 | * | * | * | * | F | T |
| 107212 | * | * | * | * | F | T |
| 107213 | * | * | * | * | F | T |
| 107214 | * | * | * | T | T | T |
| 109674 | * | * | * | * | F | T |
| 109675 | * | * | * | T | T | T |
| 109676 | * | * | * | * | F | T |
| 109677 | * | * | * | T | T | T |
| 112691 | * | * | * | * | F | T |
| 112692 | * | * | * | * | F | T |
| 112693 | * | * | * | T | T | T |
| 112694 | * | * | * | * | F | T |
| 112695 | * | * | * | * | F | T |
| 112696 | * | * | * | T | T | T |
| 115576 | * | * | * | * | F | T |
| 115577 | * | * | * | T | T | T |
| 115578 | * | * | * | * | F | T |
| 115579 | * | * | * | T | T | T |
| 135387 | * | * | * | * | F | T |
| 135388 | * | * | * | T | T | T |
| 135389 | * | * | * | * | F | T |
| 135390 | * | * | * | T | T | T |
| 158323 | * | * | * | * | F | T |
| 158324 | * | * | * | T | T | T |
| 158325 | * | * | * | * | F | T |
| 158326 | * | * | * | T | T | T |
| 163744 | * | * | * | * | F | T |
| 163745 | * | * | * | T | T | T |
| 163746 | * | * | * | * | F | T |
| 163747 | * | * | * | T | T | T |
| 165325 | * | * | * | * | F | T |
| 165326 | * | * | * | T | T | T |
| 165327 | * | * | * | * | F | T |
| 165328 | * | * | * | T | T | T |
| 167045 | * | * | * | * | F | T |
| 167046 | * | * | * | T | T | T |
| 167047 | * | * | * | * | F | T |
| 167048 | * | * | * | T | T | T |
Independent-effect pairs
All 5 conditions live in <wasmparser::parser::Parser>::parse_reader — 5 br_if
c0(branch7074): DEAD view gap →c1(branch7075): DEAD view gap →c2(branch7076): DEAD view gap →c3(branch7077): GAP view gap →c4(branch7078): GAP view gap →