Decision #559 — binary_reader.rs:1859
Status: unreached
Truth table
| row | c0 br 4124 | c1 br 4125 | c2 br 4127 | c3 br 4128 | c4 br 4130 | c5 br 4131 | c6 br 4133 | c7 br 4134 | c8 br 4136 | c9 br 4137 | c10 br 4139 | c11 br 4140 | c12 br 4142 | c13 br 4143 | c14 br 4145 | c15 br 4146 | c16 br 4148 | c17 br 4149 | c18 br 4151 | c19 br 4152 | c20 br 4154 | c21 br 4155 | outcome |
|---|
Independent-effect pairs
All 22 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfe_operator — 22 br_if
c0(branch4124): DEAD view gap →c1(branch4125): DEAD view gap →c2(branch4127): DEAD view gap →c3(branch4128): DEAD view gap →c4(branch4130): DEAD view gap →c5(branch4131): DEAD view gap →c6(branch4133): DEAD view gap →c7(branch4134): DEAD view gap →c8(branch4136): DEAD view gap →c9(branch4137): DEAD view gap →c10(branch4139): DEAD view gap →c11(branch4140): DEAD view gap →c12(branch4142): DEAD view gap →c13(branch4143): DEAD view gap →c14(branch4145): DEAD view gap →c15(branch4146): DEAD view gap →c16(branch4148): DEAD view gap →c17(branch4149): DEAD view gap →c18(branch4151): DEAD view gap →c19(branch4152): DEAD view gap →c20(branch4154): DEAD view gap →c21(branch4155): DEAD view gap →