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 (branch 4157): DEAD view gap →
c1 (branch 4158): DEAD view gap →
c2 (branch 4160): DEAD view gap →
c3 (branch 4161): DEAD view gap →
c4 (branch 4163): DEAD view gap →
c5 (branch 4164): DEAD view gap →
c6 (branch 4166): DEAD view gap →
c7 (branch 4167): DEAD view gap →
c8 (branch 4169): DEAD view gap →
c9 (branch 4170): DEAD view gap →
c10 (branch 4172): DEAD view gap →
c11 (branch 4173): DEAD view gap →
c12 (branch 4175): DEAD view gap →
c13 (branch 4176): DEAD view gap →
c14 (branch 4178): DEAD view gap →
c15 (branch 4179): DEAD view gap →
c16 (branch 4181): DEAD view gap →
c17 (branch 4182): DEAD view gap →
c18 (branch 4184): DEAD view gap →
c19 (branch 4185): DEAD view gap →
c20 (branch 4187): DEAD view gap →
c21 (branch 4188): DEAD view gap →

← back to scry-mcdc