Decision #568 — `binary_reader.rs:1952`

Status: unreached

Truth table

row	c0 br 4304	c1 br 4305	c2 br 4306	c3 br 4307	c4 br 4308	c5 br 4310	c6 br 4311	c7 br 4312	outcome

Independent-effect pairs

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

c0 (branch 4304): DEAD view gap →
c1 (branch 4305): DEAD view gap →
c2 (branch 4306): DEAD view gap →
c3 (branch 4307): DEAD view gap →
c4 (branch 4308): DEAD view gap →
c5 (branch 4310): DEAD view gap →
c6 (branch 4311): DEAD view gap →
c7 (branch 4312): DEAD view gap →

← back to scry-mcdc