Decision #1255 — library/core/src/iter/adapters/map.rs:69
Status: no_witness
Truth table
| row | c0 br 8479 | c1 br 8481 | c2 br 8485 | c3 br 8486 | c4 br 8487 | outcome |
|---|---|---|---|---|---|---|
| 2716 | T | * | * | * | * | T |
| 2717 | T | * | * | * | * | T |
| 2718 | T | * | * | * | * | T |
| 9673 | T | * | * | * | * | T |
| 9674 | T | * | * | * | * | T |
| 9675 | T | * | * | * | * | T |
| 16494 | T | * | * | * | * | T |
| 16495 | T | * | * | * | * | T |
| 16496 | T | * | * | * | * | T |
| 160225 | T | T | T | T | T | T |
| 160226 | T | T | T | T | T | T |
| 160227 | T | T | T | T | T | T |
| 160228 | T | T | T | T | T | T |
| 160229 | T | T | T | T | T | T |
| 160230 | T | T | T | T | T | T |
| 160231 | T | T | T | T | T | T |
| 160232 | T | T | T | T | T | T |
| 160233 | T | T | * | * | * | T |
| 160234 | T | T | * | * | * | T |
| 160235 | T | T | * | * | * | T |
| 160236 | T | T | * | * | * | T |
| 170083 | T | T | T | T | T | T |
| 170084 | T | T | T | T | T | T |
| 170085 | T | T | T | T | T | T |
| 170086 | T | T | T | T | T | T |
| 170087 | T | T | T | T | T | T |
| 170088 | T | T | T | T | T | T |
| 170089 | T | T | T | T | T | T |
| 170090 | T | T | T | T | T | T |
| 170091 | T | T | * | * | * | T |
| 170092 | T | T | * | * | * | T |
| 170093 | T | T | * | * | * | T |
| 170094 | T | T | * | * | * | T |
| 181830 | T | * | * | * | * | T |
| 185146 | T | * | * | * | * | T |
| 188257 | T | * | * | * | * | T |
| 192326 | T | T | * | * | * | T |
| 192327 | T | T | * | * | * | T |
| 192328 | T | T | * | * | * | T |
| 198353 | T | T | * | * | * | T |
| 198354 | T | T | * | * | * | T |
| 198355 | T | T | * | * | * | T |
| 204180 | T | T | * | * | * | T |
| 204181 | T | T | * | * | * | T |
| 204182 | T | T | * | * | * | T |
| 209459 | T | T | * | * | * | T |
| 209460 | T | T | * | * | * | T |
| 209461 | T | T | * | * | * | T |
| 209462 | T | T | * | * | * | T |
| 209463 | T | T | * | * | * | T |
| 209464 | T | T | * | * | * | T |
| 217124 | T | T | * | * | * | T |
| 217125 | T | T | * | * | * | T |
| 217126 | T | T | * | * | * | T |
Independent-effect pairs
All 5 conditions live in <wasmparser::binary_reader::BinaryReader>::read_var_i32_big — 5 br_if
c0(branch8479): GAP view gap →c1(branch8481): GAP view gap →c2(branch8485): GAP view gap →c3(branch8486): GAP view gap →c4(branch8487): GAP view gap →