Decision #564 — `binary_reader.rs:1906`

Status: unreached

Truth table

row	c0 br 4261	c1 br 4262	c2 br 4263	c3 br 4264	c4 br 4265	c5 br 4267	c6 br 4268	c7 br 4269	c8 br 4271	c9 br 4272	outcome

Independent-effect pairs

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

c0 (branch 4261): DEAD view gap →
c1 (branch 4262): DEAD view gap →
c2 (branch 4263): DEAD view gap →
c3 (branch 4264): DEAD view gap →
c4 (branch 4265): DEAD view gap →
c5 (branch 4267): DEAD view gap →
c6 (branch 4268): DEAD view gap →
c7 (branch 4269): DEAD view gap →
c8 (branch 4271): DEAD view gap →
c9 (branch 4272): DEAD view gap →

← back to scry-mcdc