]> granicus.if.org Git - clang/commit
[analyzer] Use a temporary builder in CheckerContext.
authorAnna Zaks <ganna@apple.com>
Mon, 24 Oct 2011 18:25:58 +0000 (18:25 +0000)
committerAnna Zaks <ganna@apple.com>
Mon, 24 Oct 2011 18:25:58 +0000 (18:25 +0000)
commit8ff5c41f2bde7ebbe568b4c15e59f14b8befae66
treeb2212550230924c7d56c340c81c4dbb0fa1959d2
parent1aae01a8308d2f8e31adab3f4d7ac35543aac680
[analyzer] Use a temporary builder in CheckerContext.

First step toward removing the global Stmt builder. Added several transitional methods (like takeNodes/addNodes).
+ Stop early if the set of exploded nodes for the next iteration is empty.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142827 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
lib/StaticAnalyzer/Core/CheckerContext.cpp
lib/StaticAnalyzer/Core/CheckerManager.cpp
lib/StaticAnalyzer/Core/CoreEngine.cpp
lib/StaticAnalyzer/Core/ExprEngine.cpp