Decision #1088 — readers.rs:102
Status: no_witness
Truth table
| row | c0 br 7571 | c1 br 7577 | c2 br 7583 | c3 br 7589 | outcome |
|---|---|---|---|---|---|
| 49306 | F | * | * | * | F |
| 53507 | F | * | * | * | F |
| 58037 | F | * | * | * | F |
| 62230 | F | * | * | * | F |
| 96809 | F | * | * | * | F |
| 103587 | F | * | * | * | F |
| 107313 | F | * | * | * | F |
| 109760 | F | * | * | * | F |
| 112792 | F | * | * | * | F |
| 115662 | F | * | * | * | F |
Independent-effect pairs
All 4 conditions live in <wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader — 4 br_if
c0(branch7571): GAP view gap →c1(branch7577): DEAD view gap →c2(branch7583): DEAD view gap →c3(branch7589): DEAD view gap →