Decision #556 — `library/core/src/result.rs:2173`

Status: unreached

Truth table

row	c0 br 3974	c1 br 3982	c2 br 3984	c3 br 3987	c4 br 3988	c5 br 3990	outcome

Independent-effect pairs

All 6 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfc_operator — 6 br_if

c0 (branch 3974): DEAD view gap →
c1 (branch 3982): DEAD view gap →
c2 (branch 3984): DEAD view gap →
c3 (branch 3987): DEAD view gap →
c4 (branch 3988): DEAD view gap →
c5 (branch 3990): DEAD view gap →

← back to scry-mcdc