Decision #1198 — `malloc.c:3973`

Status: unreached

Truth table

row	c0 br 8219	c1 br 8220	c2 br 8221	c3 br 8222	c4 br 8223	c5 br 8224	c6 br 8225	c7 br 8226	c8 br 8227	c9 br 8228	c10 br 8229	c11 br 8230	c12 br 8231	c13 br 8232	c14 br 8233	outcome

Independent-effect pairs

All 15 conditions live in dlmalloc — 15 br_if

c0 (branch 8219): DEAD view gap →
c1 (branch 8220): DEAD view gap →
c2 (branch 8221): DEAD view gap →
c3 (branch 8222): DEAD view gap →
c4 (branch 8223): DEAD view gap →
c5 (branch 8224): DEAD view gap →
c6 (branch 8225): DEAD view gap →
c7 (branch 8226): DEAD view gap →
c8 (branch 8227): DEAD view gap →
c9 (branch 8228): DEAD view gap →
c10 (branch 8229): DEAD view gap →
c11 (branch 8230): DEAD view gap →
c12 (branch 8231): DEAD view gap →
c13 (branch 8232): DEAD view gap →
c14 (branch 8233): DEAD view gap →

← back to scry-mcdc