Decision #615 — binary_reader.rs:466

Status: unreached

Truth table

rowc0 br 4566c1 br 4567c2 br 4568outcome

Independent-effect pairs

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