Decision #1427 — `malloc.c:3964`

Status: unreached

Truth table

row	c0 br 9464	c1 br 9465	c2 br 9466	c3 br 9467	c4 br 9468	c5 br 9469	c6 br 9470	c7 br 9471	c8 br 9472	c9 br 9473	outcome

Independent-effect pairs

All 10 conditions live in dlmalloc — 10 br_if

c0 (branch 9464): DEAD view gap →
c1 (branch 9465): DEAD view gap →
c2 (branch 9466): DEAD view gap →
c3 (branch 9467): DEAD view gap →
c4 (branch 9468): DEAD view gap →
c5 (branch 9469): DEAD view gap →
c6 (branch 9470): DEAD view gap →
c7 (branch 9471): DEAD view gap →
c8 (branch 9472): DEAD view gap →
c9 (branch 9473): DEAD view gap →

← back to scry-mcdc