Decision #857 — malloc.c:4938
Status: unreached
Truth table
| row | c0 br 6009 | c1 br 6010 | outcome |
|---|
Independent-effect pairs
c0(branch6009): DEAD view gap →realloc· br_ifc1(branch6010): DEAD view gap →realloc· br_if
malloc.c:4938Status: unreached
| row | c0 br 6009 | c1 br 6010 | outcome |
|---|
c0 (branch 6009): DEAD view gap →realloc · br_ifc1 (branch 6010): DEAD view gap →realloc · br_if