Decision #1320 — names.rs:152
Status: no_witness
Truth table
| row | c0 br 8832 | c1 br 8838 | c2 br 8844 | c3 br 8846 | outcome |
|---|---|---|---|---|---|
| 94190 | F | * | * | * | T |
| 102051 | F | * | * | * | T |
| 110532 | F | * | * | * | T |
| 118534 | F | * | * | * | T |
| 177632 | F | * | * | * | T |
| 192628 | F | * | * | * | T |
| 199114 | F | * | * | * | T |
| 204417 | F | * | * | * | T |
| 210033 | F | * | * | * | T |
| 217508 | F | * | * | * | T |
Independent-effect pairs
All 4 conditions live in <wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader — 4 br_if
c0(branch8832): GAP view gap →c1(branch8838): DEAD view gap →c2(branch8844): DEAD view gap →c3(branch8846): DEAD view gap →