diff options
author | Ted Kremenek <kremenek@apple.com> | 2012-03-05 23:06:19 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2012-03-05 23:06:19 +0000 |
commit | a99f874bf2ade1e32f0feda7d5b8211171440f02 (patch) | |
tree | de029b61a15f813c68bfd5a9d478d74aa8f20a5c /lib/StaticAnalyzer/Core/BugReporter.cpp | |
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
Diffstat (limited to 'lib/StaticAnalyzer/Core/BugReporter.cpp')
0 files changed, 0 insertions, 0 deletions