Decision #1123 — binary_reader.rs:1842
Status: unreached
Truth table
| row | c0 br 7373 | c1 br 7374 | c2 br 7376 | c3 br 7377 | c4 br 7379 | c5 br 7381 | c6 br 7382 | c7 br 7383 | c8 br 7384 | c9 br 7386 | c10 br 7387 | c11 br 7388 | c12 br 7389 | c13 br 7390 | c14 br 7391 | c15 br 7392 | c16 br 7394 | outcome |
|---|
Independent-effect pairs
All 17 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_0xfc_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 17 br_if
c0(branch7373): DEAD view gap →c1(branch7374): DEAD view gap →c2(branch7376): DEAD view gap →c3(branch7377): DEAD view gap →c4(branch7379): DEAD view gap →c5(branch7381): DEAD view gap →c6(branch7382): DEAD view gap →c7(branch7383): DEAD view gap →c8(branch7384): DEAD view gap →c9(branch7386): DEAD view gap →c10(branch7387): DEAD view gap →c11(branch7388): DEAD view gap →c12(branch7389): DEAD view gap →c13(branch7390): DEAD view gap →c14(branch7391): DEAD view gap →c15(branch7392): DEAD view gap →c16(branch7394): DEAD view gap →