Decision #1206 — `malloc.c:3866`

Status: unreached

Truth table

row	c0 br 8273	c1 br 8274	outcome

Independent-effect pairs

c0 (branch 8273): DEAD view gap →
prepend_alloc · br_if
inlined: malloc.c:4850
c1 (branch 8274): DEAD view gap →
prepend_alloc · br_if
inlined: malloc.c:4850

← back to scry-mcdc