Decision #1181 — malloc.c:3147
Status: unreached
Truth table
| row | c0 br 8120 | c1 br 8121 | c2 br 8122 | c3 br 8123 | outcome |
|---|
Independent-effect pairs
c0(branch8120): DEAD view gap →strlen· br_if
inlined: malloc.c:4048c1(branch8121): DEAD view gap →strlen· br_if
inlined: malloc.c:4048c2(branch8122): DEAD view gap →strlen· br_if
inlined: malloc.c:4048c3(branch8123): DEAD view gap →strlen· br_if
inlined: malloc.c:4048