Decision #552 — `binary_reader.rs:1831`

Status: unreached

Truth table

row	c0 br 3961	c1 br 3962	c2 br 3963	c3 br 3964	c4 br 3965	c5 br 3966	c6 br 3967	c7 br 3968	c8 br 3969	c9 br 3970	c10 br 3971	c11 br 3972	c12 br 3973	c13 br 3975	c14 br 3976	c15 br 3977	c16 br 3978	c17 br 3979	c18 br 3980	outcome

Independent-effect pairs

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

c0 (branch 3961): DEAD view gap →
c1 (branch 3962): DEAD view gap →
c2 (branch 3963): DEAD view gap →
c3 (branch 3964): DEAD view gap →
c4 (branch 3965): DEAD view gap →
c5 (branch 3966): DEAD view gap →
c6 (branch 3967): DEAD view gap →
c7 (branch 3968): DEAD view gap →
c8 (branch 3969): DEAD view gap →
c9 (branch 3970): DEAD view gap →
c10 (branch 3971): DEAD view gap →
c11 (branch 3972): DEAD view gap →
c12 (branch 3973): DEAD view gap →
c13 (branch 3975): DEAD view gap →
c14 (branch 3976): DEAD view gap →
c15 (branch 3977): DEAD view gap →
c16 (branch 3978): DEAD view gap →
c17 (branch 3979): DEAD view gap →
c18 (branch 3980): DEAD view gap →

← back to scry-mcdc