Decision #1126 — binary_reader.rs:1864

Status: unreached

Truth table

rowc0 br 7530c1 br 7531c2 br 7533c3 br 7534c4 br 7536c5 br 7537c6 br 7539c7 br 7540c8 br 7542c9 br 7543c10 br 7545c11 br 7546c12 br 7548c13 br 7549c14 br 7551c15 br 7552c16 br 7554c17 br 7555c18 br 7557c19 br 7558c20 br 7560c21 br 7561outcome

Independent-effect pairs

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