Decision #1183 — malloc.c:4063
Status: unreached
Truth table
| row | c0 br 8127 | c1 br 8128 | outcome |
|---|
Independent-effect pairs
c0(branch8127): DEAD view gap →strlen· br_ifc1(branch8128): DEAD view gap →strlen· br_if
malloc.c:4063Status: unreached
| row | c0 br 8127 | c1 br 8128 | outcome |
|---|
c0 (branch 8127): DEAD view gap →strlen · br_ifc1 (branch 8128): DEAD view gap →strlen · br_if