Decision #1126 — binary_reader.rs:1864
Status: unreached
Truth table
| row | c0 br 7530 | c1 br 7531 | c2 br 7533 | c3 br 7534 | c4 br 7536 | c5 br 7537 | c6 br 7539 | c7 br 7540 | c8 br 7542 | c9 br 7543 | c10 br 7545 | c11 br 7546 | c12 br 7548 | c13 br 7549 | c14 br 7551 | c15 br 7552 | c16 br 7554 | c17 br 7555 | c18 br 7557 | c19 br 7558 | c20 br 7560 | c21 br 7561 | outcome |
|---|
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
c0(branch7530): DEAD view gap →c1(branch7531): DEAD view gap →c2(branch7533): DEAD view gap →c3(branch7534): DEAD view gap →c4(branch7536): DEAD view gap →c5(branch7537): DEAD view gap →c6(branch7539): DEAD view gap →c7(branch7540): DEAD view gap →c8(branch7542): DEAD view gap →c9(branch7543): DEAD view gap →c10(branch7545): DEAD view gap →c11(branch7546): DEAD view gap →c12(branch7548): DEAD view gap →c13(branch7549): DEAD view gap →c14(branch7551): DEAD view gap →c15(branch7552): DEAD view gap →c16(branch7554): DEAD view gap →c17(branch7555): DEAD view gap →c18(branch7557): DEAD view gap →c19(branch7558): DEAD view gap →c20(branch7560): DEAD view gap →c21(branch7561): DEAD view gap →