Decision #1129 — binary_reader.rs:1898

Status: unreached

Truth table

rowc0 br 7630c1 br 7631c2 br 7633c3 br 7634c4 br 7636c5 br 7637c6 br 7639c7 br 7640c8 br 7642c9 br 7643c10 br 7645c11 br 7646outcome

Independent-effect pairs

All 12 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_0xfe_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 12 br_if