Decision #1220 — binary_reader.rs:424

Status: unreached

Truth table

rowc0 br 8405c1 br 8406c2 br 8407outcome

Independent-effect pairs

All 3 conditions live in <wasmparser::parser::Parser>::parse_reader — 3 br_if