]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02892a6) | patch
Teach SimpleSValBuilder that (in the absence of more information) stack memory doesn...
authorTed Kremenek <kremenek@apple.com>
Mon, 5 Mar 2012 23:06:19 +0000 (23:06 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 5 Mar 2012 23:06:19 +0000 (23:06 +0000)
commita99f874bf2ade1e32f0feda7d5b8211171440f02
treede029b61a15f813c68bfd5a9d478d74aa8f20a5ctree | snapshot
parent02892a65b18875a04c7ed5eadb3a13be801ab477commit | 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
lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp diff | blob | history
test/Analysis/malloc.c diff | blob | history
test/Analysis/ptr-arith.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.