Decision #1128 — binary_reader.rs:1886
Status: unreached
Truth table
| row | c0 br 7593 | c1 br 7594 | c2 br 7596 | c3 br 7597 | c4 br 7599 | c5 br 7600 | c6 br 7602 | c7 br 7603 | c8 br 7605 | c9 br 7608 | outcome |
|---|
Independent-effect pairs
All 10 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_0xfe_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 10 br_if
c0(branch7593): DEAD view gap →c1(branch7594): DEAD view gap →c2(branch7596): DEAD view gap →c3(branch7597): DEAD view gap →c4(branch7599): DEAD view gap →c5(branch7600): DEAD view gap →c6(branch7602): DEAD view gap →c7(branch7603): DEAD view gap →c8(branch7605): DEAD view gap →c9(branch7608): DEAD view gap →