Decision #1155 — types.rs:1291
Status: no_witness
Truth table
| row | c0 br 7830 | c1 br 7831 | c2 br 7838 | c3 br 7839 | outcome |
|---|---|---|---|---|---|
| 2360 | F | T | * | * | T |
| 2361 | F | T | * | * | T |
| 2362 | F | T | * | * | T |
| 9319 | F | T | * | * | T |
| 9320 | F | T | * | * | T |
| 9321 | F | T | * | * | T |
| 16125 | F | T | * | * | T |
| 16126 | F | T | * | * | T |
| 16127 | F | T | * | * | T |
| 22148 | F | T | * | * | T |
| 24890 | F | T | * | * | T |
| 27534 | F | T | * | * | T |
| 38899 | F | T | * | * | T |
| 38900 | F | T | * | * | T |
| 38901 | F | T | * | * | T |
| 38902 | F | T | * | * | T |
| 59753 | F | T | * | * | T |
| 59754 | F | T | * | * | T |
| 59755 | F | T | * | * | T |
| 59756 | F | T | * | * | T |
| 75275 | F | T | * | * | T |
| 75276 | F | T | * | * | T |
| 75277 | F | T | * | * | T |
| 85158 | F | T | * | * | T |
| 85159 | F | T | * | * | T |
| 85160 | F | T | * | * | T |
| 93376 | F | T | * | * | T |
| 93377 | F | T | * | * | T |
| 93378 | F | T | * | * | T |
| 101207 | F | T | * | * | T |
| 101208 | F | T | * | * | T |
| 101209 | F | T | * | * | T |
| 109695 | F | T | * | * | T |
| 109696 | F | T | * | * | T |
| 109697 | F | T | * | * | T |
| 117720 | F | T | * | * | T |
| 117721 | F | T | * | * | T |
| 117722 | F | T | * | * | T |
| 132260 | F | T | * | * | T |
| 132261 | F | T | * | * | T |
| 132262 | F | T | * | * | T |
| 132263 | F | T | * | * | T |
| 148979 | F | T | * | * | T |
| 148980 | F | T | * | * | T |
| 148981 | F | T | * | * | T |
| 148982 | F | T | * | * | T |
| 159913 | F | T | * | * | T |
| 169771 | F | T | * | * | T |
| 181626 | F | T | * | * | T |
| 184944 | F | T | * | * | T |
| 188053 | F | T | * | * | T |
| 192106 | F | T | * | * | T |
| 192107 | F | T | * | * | T |
| 192108 | F | T | * | * | T |
| 198066 | F | T | * | * | T |
| 198067 | F | T | * | * | T |
| 203962 | F | T | * | * | T |
| 203963 | F | T | * | * | T |
| 203964 | F | T | * | * | T |
| 209183 | F | T | * | * | T |
| 209184 | F | T | * | * | T |
| 209185 | F | T | * | * | T |
| 216865 | F | T | * | * | T |
| 216866 | F | T | * | * | T |
| 216867 | F | T | * | * | T |
| 252692 | F | T | * | * | T |
| 252693 | F | T | * | * | T |
| 252694 | F | T | * | * | T |
| 330069 | F | T | * | * | T |
| 330070 | F | T | * | * | T |
| 330071 | F | T | * | * | T |
| 377578 | F | T | * | * | T |
| 377579 | F | T | * | * | T |
| 380235 | F | T | * | * | T |
| 380236 | F | T | * | * | T |
| 383118 | F | T | * | * | T |
| 383119 | F | T | * | * | T |
Independent-effect pairs
All 4 conditions live in <wasmparser::readers::core::types::ValType as wasmparser::readers::FromReader>::from_reader — 4 br_if
c0(branch7830): GAP view gap →c1(branch7831): GAP view gap →c2(branch7838): DEAD view gap →c3(branch7839): DEAD view gap →