Decision #558 — `binary_reader.rs:1848`

Status: unreached

Truth table

row	c0 br 3992	c1 br 3994	c2 br 4112	c3 br 4113	c4 br 4115	c5 br 4116	c6 br 4118	c7 br 4119	c8 br 4121	c9 br 4122	outcome

Independent-effect pairs

All 10 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfe_operator — 10 br_if

c0 (branch 3992): DEAD view gap →
c1 (branch 3994): DEAD view gap →
c2 (branch 4112): DEAD view gap →
c3 (branch 4113): DEAD view gap →
c4 (branch 4115): DEAD view gap →
c5 (branch 4116): DEAD view gap →
c6 (branch 4118): DEAD view gap →
c7 (branch 4119): DEAD view gap →
c8 (branch 4121): DEAD view gap →
c9 (branch 4122): DEAD view gap →

← back to scry-mcdc