Decision #1127 — binary_reader.rs:1875
Status: unreached
Truth table
| row | c0 br 7563 | c1 br 7564 | c2 br 7566 | c3 br 7567 | c4 br 7569 | c5 br 7570 | c6 br 7571 | c7 br 7572 | c8 br 7573 | c9 br 7574 | c10 br 7575 | c11 br 7576 | c12 br 7577 | c13 br 7578 | c14 br 7579 | c15 br 7580 | c16 br 7581 | c17 br 7582 | c18 br 7583 | c19 br 7584 | c20 br 7585 | c21 br 7586 | c22 br 7587 | c23 br 7588 | c24 br 7589 | c25 br 7590 | c26 br 7591 | c27 br 7592 | outcome |
|---|
Independent-effect pairs
All 28 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_0xfe_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 28 br_if
c0(branch7563): DEAD view gap →c1(branch7564): DEAD view gap →c2(branch7566): DEAD view gap →c3(branch7567): DEAD view gap →c4(branch7569): DEAD view gap →c5(branch7570): DEAD view gap →c6(branch7571): DEAD view gap →c7(branch7572): DEAD view gap →c8(branch7573): DEAD view gap →c9(branch7574): DEAD view gap →c10(branch7575): DEAD view gap →c11(branch7576): DEAD view gap →c12(branch7577): DEAD view gap →c13(branch7578): DEAD view gap →c14(branch7579): DEAD view gap →c15(branch7580): DEAD view gap →c16(branch7581): DEAD view gap →c17(branch7582): DEAD view gap →c18(branch7583): DEAD view gap →c19(branch7584): DEAD view gap →c20(branch7585): DEAD view gap →c21(branch7586): DEAD view gap →c22(branch7587): DEAD view gap →c23(branch7588): DEAD view gap →c24(branch7589): DEAD view gap →c25(branch7590): DEAD view gap →c26(branch7591): DEAD view gap →c27(branch7592): DEAD view gap →