Decision #562 — binary_reader.rs:1892
Status: unreached
Truth table
| row | c0 br 4223 | c1 br 4224 | c2 br 4225 | c3 br 4226 | c4 br 4227 | c5 br 4228 | c6 br 4229 | c7 br 4230 | c8 br 4231 | c9 br 4232 | c10 br 4233 | c11 br 4234 | c12 br 4235 | c13 br 4236 | c14 br 4237 | c15 br 4238 | c16 br 4239 | c17 br 4240 | c18 br 4241 | c19 br 4242 | c20 br 4243 | c21 br 4244 | c22 br 4245 | c23 br 4246 | c24 br 4247 | c25 br 4248 | c26 br 4249 | c27 br 4250 | c28 br 4251 | c29 br 4252 | c30 br 4253 | c31 br 4254 | c32 br 4255 | outcome |
|---|
Independent-effect pairs
All 33 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfe_operator — 33 br_if
c0(branch4223): DEAD view gap →c1(branch4224): DEAD view gap →c2(branch4225): DEAD view gap →c3(branch4226): DEAD view gap →c4(branch4227): DEAD view gap →c5(branch4228): DEAD view gap →c6(branch4229): DEAD view gap →c7(branch4230): DEAD view gap →c8(branch4231): DEAD view gap →c9(branch4232): DEAD view gap →c10(branch4233): DEAD view gap →c11(branch4234): DEAD view gap →c12(branch4235): DEAD view gap →c13(branch4236): DEAD view gap →c14(branch4237): DEAD view gap →c15(branch4238): DEAD view gap →c16(branch4239): DEAD view gap →c17(branch4240): DEAD view gap →c18(branch4241): DEAD view gap →c19(branch4242): DEAD view gap →c20(branch4243): DEAD view gap →c21(branch4244): DEAD view gap →c22(branch4245): DEAD view gap →c23(branch4246): DEAD view gap →c24(branch4247): DEAD view gap →c25(branch4248): DEAD view gap →c26(branch4249): DEAD view gap →c27(branch4250): DEAD view gap →c28(branch4251): DEAD view gap →c29(branch4252): DEAD view gap →c30(branch4253): DEAD view gap →c31(branch4254): DEAD view gap →c32(branch4255): DEAD view gap →