Decision #882 — binary_reader.rs:1831
Status: unreached
Truth table
| row | c0 br 6118 | c1 br 6119 | c2 br 6120 | c3 br 6121 | c4 br 6122 | c5 br 6123 | c6 br 6124 | c7 br 6125 | c8 br 6126 | c9 br 6127 | c10 br 6128 | c11 br 6130 | c12 br 6132 | c13 br 6133 | c14 br 6134 | c15 br 6135 | c16 br 6136 | c17 br 6137 | outcome |
|---|
Independent-effect pairs
All 18 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_0xfc_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 18 br_if
c0(branch6118): DEAD view gap →c1(branch6119): DEAD view gap →c2(branch6120): DEAD view gap →c3(branch6121): DEAD view gap →c4(branch6122): DEAD view gap →c5(branch6123): DEAD view gap →c6(branch6124): DEAD view gap →c7(branch6125): DEAD view gap →c8(branch6126): DEAD view gap →c9(branch6127): DEAD view gap →c10(branch6128): DEAD view gap →c11(branch6130): DEAD view gap →c12(branch6132): DEAD view gap →c13(branch6133): DEAD view gap →c14(branch6134): DEAD view gap →c15(branch6135): DEAD view gap →c16(branch6136): DEAD view gap →c17(branch6137): DEAD view gap →