Decision #604 — binary_reader.rs:521

Status: unreached

Truth table

rowc0 br 4530c1 br 4532c2 br 4533outcome

Independent-effect pairs

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