Decision #560 — binary_reader.rs:1870
Status: unreached
Truth table
| row | c0 br 4157 | c1 br 4158 | c2 br 4160 | c3 br 4161 | c4 br 4163 | c5 br 4164 | c6 br 4166 | c7 br 4167 | c8 br 4169 | c9 br 4170 | c10 br 4172 | c11 br 4173 | c12 br 4175 | c13 br 4176 | c14 br 4178 | c15 br 4179 | c16 br 4181 | c17 br 4182 | c18 br 4184 | c19 br 4185 | c20 br 4187 | c21 br 4188 | outcome |
|---|
Independent-effect pairs
All 22 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfe_operator — 22 br_if
c0(branch4157): DEAD view gap →c1(branch4158): DEAD view gap →c2(branch4160): DEAD view gap →c3(branch4161): DEAD view gap →c4(branch4163): DEAD view gap →c5(branch4164): DEAD view gap →c6(branch4166): DEAD view gap →c7(branch4167): DEAD view gap →c8(branch4169): DEAD view gap →c9(branch4170): DEAD view gap →c10(branch4172): DEAD view gap →c11(branch4173): DEAD view gap →c12(branch4175): DEAD view gap →c13(branch4176): DEAD view gap →c14(branch4178): DEAD view gap →c15(branch4179): DEAD view gap →c16(branch4181): DEAD view gap →c17(branch4182): DEAD view gap →c18(branch4184): DEAD view gap →c19(branch4185): DEAD view gap →c20(branch4187): DEAD view gap →c21(branch4188): DEAD view gap →