Decision #1273 — exports.rs:52
Status: no_witness
Truth table
| row | c0 br 8600 | c1 br 8603 | c2 br 8609 | outcome |
|---|---|---|---|---|
| 3257 | T | * | * | T |
| 3258 | T | * | * | T |
| 10214 | T | * | * | T |
| 10215 | T | * | * | T |
| 17067 | T | * | * | T |
| 17068 | T | * | * | T |
| 22531 | T | * | * | T |
| 25271 | T | * | * | T |
| 27917 | T | * | * | T |
| 39514 | T | * | * | T |
| 60366 | T | * | * | T |
| 75975 | T | * | * | T |
| 85858 | T | * | * | T |
| 94172 | T | * | * | T |
| 94173 | T | * | * | T |
| 102033 | T | * | * | T |
| 102034 | T | * | * | T |
| 110514 | T | * | * | T |
| 110515 | T | * | * | T |
| 118516 | T | * | * | T |
| 118517 | T | * | * | T |
| 132903 | T | * | * | T |
| 149622 | T | * | * | T |
| 161014 | T | * | * | T |
| 170872 | T | * | * | T |
| 182036 | T | * | * | T |
| 185352 | T | * | * | T |
| 188463 | T | * | * | T |
| 192619 | T | * | * | T |
| 199101 | T | * | * | T |
| 204408 | T | * | * | T |
| 210022 | T | * | * | T |
| 217499 | T | * | * | T |
| 253504 | T | * | * | T |
| 330881 | T | * | * | T |
| 377932 | T | * | * | T |
| 380599 | T | * | * | T |
| 383480 | T | * | * | T |
Independent-effect pairs
All 3 conditions live in <wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader — 3 br_if
c0(branch8600): GAP view gap →c1(branch8603): DEAD view gap →c2(branch8609): DEAD view gap →