Decision #665 — parser.rs:1245
Status: no_witness
Truth table
| row | c0 br 4844 | c1 br 4845 | outcome |
|---|---|---|---|
| 1291 | T | * | T |
| 1292 | T | * | T |
| 4331 | T | * | T |
| 4332 | T | * | T |
| 7280 | T | * | T |
| 7281 | T | * | T |
Independent-effect pairs
c0(branch4844): GAP view gap →wasmparser::parser::section· br_ifc1(branch4845): DEAD view gap →wasmparser::parser::section· br_if