Decision #563 — binary_reader.rs:1903

Status: unreached

Truth table

rowc0 br 4256c1 br 4257c2 br 4258outcome

Independent-effect pairs

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