Decision #841 — `malloc.c:4803`

Status: unreached

Truth table

row	c0 br 5915	c1 br 5916	c2 br 5917	c3 br 5918	c4 br 5919	c5 br 5920	c6 br 5921	c7 br 5922	c8 br 5923	c9 br 5924	c10 br 5925	outcome

Independent-effect pairs

All 11 conditions live in prepend_alloc — 11 br_if

c0 (branch 5915): DEAD view gap →
c1 (branch 5916): DEAD view gap →
c2 (branch 5917): DEAD view gap →
c3 (branch 5918): DEAD view gap →
c4 (branch 5919): DEAD view gap →
c5 (branch 5920): DEAD view gap →
c6 (branch 5921): DEAD view gap →
c7 (branch 5922): DEAD view gap →
c8 (branch 5923): DEAD view gap →
c9 (branch 5924): DEAD view gap →
c10 (branch 5925): DEAD view gap →

← back to scry-mcdc