Decision #1425 — `malloc.c:4545`

Status: unreached

Truth table

row	c0 br 9439	c1 br 9440	c2 br 9441	c3 br 9442	c4 br 9443	c5 br 9444	c6 br 9445	c7 br 9446	c8 br 9447	c9 br 9448	c10 br 9449	c11 br 9450	c12 br 9451	c13 br 9452	c14 br 9453	c15 br 9454	c16 br 9455	c17 br 9456	c18 br 9457	outcome

Independent-effect pairs

All 19 conditions live in dlmalloc — 19 br_if

c0 (branch 9439): DEAD view gap →
c1 (branch 9440): DEAD view gap →
c2 (branch 9441): DEAD view gap →
c3 (branch 9442): DEAD view gap →
c4 (branch 9443): DEAD view gap →
c5 (branch 9444): DEAD view gap →
c6 (branch 9445): DEAD view gap →
c7 (branch 9446): DEAD view gap →
c8 (branch 9447): DEAD view gap →
c9 (branch 9448): DEAD view gap →
c10 (branch 9449): DEAD view gap →
c11 (branch 9450): DEAD view gap →
c12 (branch 9451): DEAD view gap →
c13 (branch 9452): DEAD view gap →
c14 (branch 9453): DEAD view gap →
c15 (branch 9454): DEAD view gap →
c16 (branch 9455): DEAD view gap →
c17 (branch 9456): DEAD view gap →
c18 (branch 9457): DEAD view gap →

← back to scry-mcdc