Decision #450 — binary_reader.rs:632

Status: unreached

Truth table

rowc0 br 3046c1 br 3047c2 br 3048outcome

Independent-effect pairs

All 3 conditions live in wasmparser::binary_reader::BinaryReader::read_var_u32_big — 3 br_if