Decision #813 — `malloc.c:4643`

Status: unreached

Truth table

row	c0 br 5731	c1 br 5732	c2 br 5733	c3 br 5734	c4 br 5735	c5 br 5736	c6 br 5737	c7 br 5738	c8 br 5739	c9 br 5740	c10 br 5741	c11 br 5742	c12 br 5743	outcome

Independent-effect pairs

All 13 conditions live in __strchrnul — 13 br_if

c0 (branch 5731): DEAD view gap →
c1 (branch 5732): DEAD view gap →
c2 (branch 5733): DEAD view gap →
c3 (branch 5734): DEAD view gap →
c4 (branch 5735): DEAD view gap →
c5 (branch 5736): DEAD view gap →
c6 (branch 5737): DEAD view gap →
c7 (branch 5738): DEAD view gap →
c8 (branch 5739): DEAD view gap →
c9 (branch 5740): DEAD view gap →
c10 (branch 5741): DEAD view gap →
c11 (branch 5742): DEAD view gap →
c12 (branch 5743): DEAD view gap →

← back to scry-mcdc