Decision #1222 — malloc.c:4980
Status: unreached
Truth table
| row | c0 br 8358 | c1 br 8359 | outcome |
|---|
Independent-effect pairs
c0(branch8358): DEAD view gap →realloc· br_ifc1(branch8359): DEAD view gap →realloc· br_if
malloc.c:4980Status: unreached
| row | c0 br 8358 | c1 br 8359 | outcome |
|---|
c0 (branch 8358): DEAD view gap →realloc · br_ifc1 (branch 8359): DEAD view gap →realloc · br_if