Decision #644 — parser.rs:1237
Status: no_witness
Truth table
| row | c0 br 4712 | c1 br 4713 | c2 br 4720 | c3 br 4721 | outcome |
|---|---|---|---|---|---|
| 1275 | F | T | * | * | T |
| 1276 | F | T | * | * | T |
| 4315 | F | T | * | * | T |
| 4316 | F | T | * | * | T |
| 7264 | F | T | * | * | T |
| 7265 | F | T | * | * | T |
Independent-effect pairs
All 4 conditions live in wasmparser::parser::Parser::parse_reader — 4 br_if
c0(branch4712): GAP view gap →c1(branch4713): GAP view gap →c2(branch4720): DEAD view gap →c3(branch4721): DEAD view gap →