Decision #1129 — binary_reader.rs:1898
Status: unreached
Truth table
| row | c0 br 7630 | c1 br 7631 | c2 br 7633 | c3 br 7634 | c4 br 7636 | c5 br 7637 | c6 br 7639 | c7 br 7640 | c8 br 7642 | c9 br 7643 | c10 br 7645 | c11 br 7646 | outcome |
|---|
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
c0(branch7630): DEAD view gap →c1(branch7631): DEAD view gap →c2(branch7633): DEAD view gap →c3(branch7634): DEAD view gap →c4(branch7636): DEAD view gap →c5(branch7637): DEAD view gap →c6(branch7639): DEAD view gap →c7(branch7640): DEAD view gap →c8(branch7642): DEAD view gap →c9(branch7643): DEAD view gap →c10(branch7645): DEAD view gap →c11(branch7646): DEAD view gap →