Decision #1174 — `malloc.c:4458`

Status: unreached

Truth table

row	c0 br 8090	c1 br 8091	c2 br 8092	c3 br 8093	c4 br 8094	c5 br 8095	c6 br 8096	c7 br 8097	c8 br 8098	outcome

Independent-effect pairs

All 9 conditions live in __strchrnul — 9 br_if

c0 (branch 8090): DEAD view gap →
c1 (branch 8091): DEAD view gap →
c2 (branch 8092): DEAD view gap →
c3 (branch 8093): DEAD view gap →
c4 (branch 8094): DEAD view gap →
c5 (branch 8095): DEAD view gap →
c6 (branch 8096): DEAD view gap →
c7 (branch 8097): DEAD view gap →
c8 (branch 8098): DEAD view gap →

← back to scry-mcdc