Decision #1169 — malloc.c:4646
Status: unreached
Truth table
| row | c0 br 8075 | c1 br 8076 | outcome |
|---|
Independent-effect pairs
c0(branch8075): DEAD view gap →getenv· br_ifc1(branch8076): DEAD view gap →getenv· br_if
malloc.c:4646Status: unreached
| row | c0 br 8075 | c1 br 8076 | outcome |
|---|
c0 (branch 8075): DEAD view gap →getenv · br_ifc1 (branch 8076): DEAD view gap →getenv · br_if