Decision #852 — dlmalloc.c:83
Status: unreached
Truth table
| row | c0 br 6000 | c1 br 6004 | outcome |
|---|
Independent-effect pairs
c0(branch6000): DEAD view gap →realloc· br_ifc1(branch6004): DEAD view gap →realloc· br_if
dlmalloc.c:83Status: unreached
| row | c0 br 6000 | c1 br 6004 | outcome |
|---|
c0 (branch 6000): DEAD view gap →realloc · br_ifc1 (branch 6004): DEAD view gap →realloc · br_if