Decision #834 — `malloc.c:3973`

Status: unreached

Truth table

row	c0 br 5875	c1 br 5876	c2 br 5877	c3 br 5878	c4 br 5879	c5 br 5880	c6 br 5881	c7 br 5882	c8 br 5883	c9 br 5884	c10 br 5885	c11 br 5886	outcome

Independent-effect pairs

All 12 conditions live in dlmalloc — 12 br_if

c0 (branch 5875): DEAD view gap →
c1 (branch 5876): DEAD view gap →
c2 (branch 5877): DEAD view gap →
c3 (branch 5878): DEAD view gap →
c4 (branch 5879): DEAD view gap →
c5 (branch 5880): DEAD view gap →
c6 (branch 5881): DEAD view gap →
c7 (branch 5882): DEAD view gap →
c8 (branch 5883): DEAD view gap →
c9 (branch 5884): DEAD view gap →
c10 (branch 5885): DEAD view gap →
c11 (branch 5886): DEAD view gap →

← back to scry-mcdc