Decision #1413 — malloc.c:2709
Status: unreached
Truth table
| row | c0 br 9376 | c1 br 9377 | outcome |
|---|
Independent-effect pairs
c0(branch9376): DEAD view gap →strlen· br_if
inlined: malloc.c:4105c1(branch9377): DEAD view gap →strlen· br_if
inlined: malloc.c:4105