Decision #1321 — readers.rs:102
Status: no_witness
Truth table
| row | c0 br 8813 | c1 br 8830 | c2 br 8836 | c3 br 8842 | outcome |
|---|---|---|---|---|---|
| 94191 | F | T | * | * | T |
| 102052 | F | T | * | * | T |
| 110533 | F | T | * | * | T |
| 118535 | F | T | * | * | T |
| 177633 | F | T | * | * | T |
| 192629 | F | T | * | * | T |
| 199115 | F | T | * | * | T |
| 204418 | F | T | * | * | T |
| 210034 | F | T | * | * | T |
| 210035 | F | * | * | * | T |
| 217509 | F | T | * | * | T |
Independent-effect pairs
All 4 conditions live in <wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader — 4 br_if
c0(branch8813): GAP view gap →c1(branch8830): GAP view gap →c2(branch8836): DEAD view gap →c3(branch8842): DEAD view gap →