Decision #619 — binary_reader.rs:788

Status: unreached

Truth table

rowc0 br 4578c1 br 4579c2 br 4580outcome

Independent-effect pairs

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