| commit | a99f874bf2ade1e32f0feda7d5b8211171440f02 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Mon Mar 05 23:06:19 2012 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Mon Mar 05 23:06:19 2012 +0000 |
| tree | de029b61a15f813c68bfd5a9d478d74aa8f20a5c | |
| parent | 02892a65b18875a04c7ed5eadb3a13be801ab477 [diff] |
Teach SimpleSValBuilder that (in the absence of more information) stack memory doesn't alias symbolic memory. This is a heuristic/hack, but works well in practice. Fixes <rdar://problem/10978247>. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@152065 91177308-0d34-0410-b5e6-96231b3b80d8