Decision #1428 — `malloc.c:3978`

Status: unreached

Truth table

row	c0 br 9474	c1 br 9475	c2 br 9476	c3 br 9477	c4 br 9478	c5 br 9479	c6 br 9480	c7 br 9481	c8 br 9482	outcome

Independent-effect pairs

All 9 conditions live in dlmalloc — 9 br_if

c0 (branch 9474): DEAD view gap →
c1 (branch 9475): DEAD view gap →
c2 (branch 9476): DEAD view gap →
c3 (branch 9477): DEAD view gap →
c4 (branch 9478): DEAD view gap →
c5 (branch 9479): DEAD view gap →
c6 (branch 9480): DEAD view gap →
c7 (branch 9481): DEAD view gap →
c8 (branch 9482): DEAD view gap →

← back to scry-mcdc