Decision #686 — types.rs:2115
Status: no_witness
Truth table
| row | c0 br 4915 | c1 br 4916 | c2 br 4918 | outcome |
|---|---|---|---|---|
| 1362 | T | F | * | T |
| 1363 | T | F | * | T |
| 1364 | T | F | * | T |
| 1365 | T | F | * | T |
| 1366 | T | F | * | T |
| 4402 | T | F | * | T |
| 4403 | T | F | * | T |
| 4404 | T | F | * | T |
| 4405 | T | F | * | T |
| 4406 | T | F | * | T |
| 7351 | T | F | * | T |
| 7352 | T | F | * | T |
| 7353 | T | F | * | T |
| 7354 | T | F | * | T |
| 7355 | T | F | * | T |
| 9910 | T | F | * | T |
| 11058 | T | F | * | T |
| 12149 | T | F | * | T |
| 18293 | T | T | T | T |
| 18294 | * | F | * | T |
| 26011 | T | T | T | T |
| 26012 | * | F | * | T |
| 31737 | T | T | T | T |
| 31738 | * | F | * | T |
| 37675 | T | T | T | T |
| 37676 | * | F | * | T |
| 41307 | T | F | * | T |
| 41308 | T | F | * | T |
| 41309 | T | F | * | T |
| 44320 | T | F | * | T |
| 44321 | T | F | * | T |
| 44322 | T | F | * | T |
| 47772 | T | F | * | T |
| 47773 | T | F | * | T |
| 47774 | T | F | * | T |
| 50847 | T | F | * | T |
| 50848 | T | F | * | T |
| 50849 | T | F | * | T |
| 59752 | T | T | T | T |
| 59753 | * | F | * | T |
| 69524 | T | T | T | T |
| 69525 | * | F | * | T |
| 73787 | T | F | * | T |
| 73788 | T | F | * | T |
| 73789 | T | F | * | T |
| 73790 | T | F | * | T |
| 73791 | T | F | * | T |
| 73792 | T | F | * | T |
| 77262 | T | F | * | T |
| 77263 | T | F | * | T |
| 77264 | T | F | * | T |
| 77265 | T | F | * | T |
| 77266 | T | F | * | T |
| 77267 | T | F | * | T |
| 79729 | T | F | * | T |
| 79730 | T | F | * | T |
| 79731 | T | F | * | T |
| 81135 | T | F | * | T |
| 82322 | T | F | * | T |
| 83384 | T | F | * | T |
| 84670 | T | F | * | T |
| 86546 | T | F | * | T |
| 86547 | T | F | * | T |
| 86548 | T | F | * | T |
| 88001 | T | F | * | T |
| 89872 | T | F | * | T |
| 89873 | T | F | * | T |
| 91404 | T | F | * | T |
| 107420 | T | T | T | T |
| 107421 | * | F | * | T |
| 126283 | T | T | T | T |
| 126284 | * | F | * | T |
| 130313 | T | F | * | T |
| 131488 | T | F | * | T |
| 132815 | T | F | * | T |
Independent-effect pairs
All 3 conditions live in wasmparser::readers::core::code::FunctionBody::get_binary_reader_for_operators — 3 br_if
c0(branch4915): GAP view gap →c1(branch4916): GAP view gap →c2(branch4918): GAP view gap →