Decision #836 — `malloc.c:4748`

Status: unreached

Truth table

row	c0 br 5890	c1 br 5891	c2 br 5892	c3 br 5893	c4 br 5894	c5 br 5895	c6 br 5896	c7 br 5897	outcome

Independent-effect pairs

All 8 conditions live in dlmalloc — 8 br_if

c0 (branch 5890): DEAD view gap →
c1 (branch 5891): DEAD view gap →
c2 (branch 5892): DEAD view gap →
c3 (branch 5893): DEAD view gap →
c4 (branch 5894): DEAD view gap →
c5 (branch 5895): DEAD view gap →
c6 (branch 5896): DEAD view gap →
c7 (branch 5897): DEAD view gap →

← back to scry-mcdc