Decision #1125 — binary_reader.rs:1853

Status: unreached

Truth table

rowc0 br 7395c1 br 7396c2 br 7398c3 br 7515c4 br 7516c5 br 7518c6 br 7519c7 br 7521c8 br 7522c9 br 7524c10 br 7525c11 br 7527c12 br 7528outcome

Independent-effect pairs

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