Decision #809 — `malloc.c:3921`

Status: unreached

Truth table

row	c0 br 5715	c1 br 5716	c2 br 5717	outcome

Independent-effect pairs

c0 (branch 5715): DEAD view gap →
__wasilibc_initialize_environ · br_if
inlined: malloc.c:5257
c1 (branch 5716): DEAD view gap →
__wasilibc_initialize_environ · br_if
inlined: malloc.c:5257
c2 (branch 5717): DEAD view gap →
__wasilibc_initialize_environ · br_if
inlined: malloc.c:5257

← back to scry-mcdc