Decision #1122 — binary_reader.rs:1831
Status: unreached
Truth table
| row | c0 br 7352 | c1 br 7353 | c2 br 7354 | c3 br 7355 | c4 br 7356 | c5 br 7357 | c6 br 7358 | c7 br 7359 | c8 br 7360 | c9 br 7361 | c10 br 7362 | c11 br 7364 | c12 br 7365 | c13 br 7367 | c14 br 7369 | outcome |
|---|
Independent-effect pairs
All 15 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_0xfc_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 15 br_if
c0(branch7352): DEAD view gap →c1(branch7353): DEAD view gap →c2(branch7354): DEAD view gap →c3(branch7355): DEAD view gap →c4(branch7356): DEAD view gap →c5(branch7357): DEAD view gap →c6(branch7358): DEAD view gap →c7(branch7359): DEAD view gap →c8(branch7360): DEAD view gap →c9(branch7361): DEAD view gap →c10(branch7362): DEAD view gap →c11(branch7364): DEAD view gap →c12(branch7365): DEAD view gap →c13(branch7367): DEAD view gap →c14(branch7369): DEAD view gap →