Decision #644 — parser.rs:1237

Status: no_witness

Truth table

rowc0 br 4712c1 br 4713c2 br 4720c3 br 4721outcome
1275FT**T
1276FT**T
4315FT**T
4316FT**T
7264FT**T
7265FT**T

Independent-effect pairs

All 4 conditions live in wasmparser::parser::Parser::parse_reader — 4 br_if