Decision #1182 — malloc.c:3185
Status: unreached
Truth table
| row | c0 br 8124 | c1 br 8125 | outcome |
|---|
Independent-effect pairs
c0(branch8124): DEAD view gap →strlen· br_if
inlined: malloc.c:4048c1(branch8125): DEAD view gap →strlen· br_if
inlined: malloc.c:4048