Decision #1185 — malloc.c:2709
Status: unreached
Truth table
| row | c0 br 8131 | c1 br 8132 | c2 br 8133 | outcome |
|---|
Independent-effect pairs
c0(branch8131): DEAD view gap →strncmp· br_if
inlined: malloc.c:4105c1(branch8132): DEAD view gap →strncmp· br_if
inlined: malloc.c:4105c2(branch8133): DEAD view gap →strncmp· br_if
inlined: malloc.c:4105