Decision #1177 — `malloc.c:4498`

Status: unreached

Truth table

row	c0 br 8103	c1 br 8104	c2 br 8105	c3 br 8106	c4 br 8107	c5 br 8108	c6 br 8109	c7 br 8110	c8 br 8111	outcome

Independent-effect pairs

All 9 conditions live in __stpcpy — 9 br_if

c0 (branch 8103): DEAD view gap →
c1 (branch 8104): DEAD view gap →
c2 (branch 8105): DEAD view gap →
c3 (branch 8106): DEAD view gap →
c4 (branch 8107): DEAD view gap →
c5 (branch 8108): DEAD view gap →
c6 (branch 8109): DEAD view gap →
c7 (branch 8110): DEAD view gap →
c8 (branch 8111): DEAD view gap →

← back to scry-mcdc