Decision #1086 — names.rs:151
Status: no_witness
Truth table
| row | c0 br 7573 | c1 br 7579 | c2 br 7585 | c3 br 7591 | outcome |
|---|---|---|---|---|---|
| 49305 | F | * | * | * | F |
| 53506 | F | * | * | * | F |
| 58036 | F | * | * | * | F |
| 62229 | F | * | * | * | F |
| 96808 | F | * | * | * | F |
| 103586 | F | * | * | * | F |
| 107312 | F | * | * | * | F |
| 109759 | F | * | * | * | F |
| 112791 | F | * | * | * | F |
| 115661 | 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(branch7573): GAP view gap →c1(branch7579): DEAD view gap →c2(branch7585): DEAD view gap →c3(branch7591): DEAD view gap →