diff options
author | Anna Zaks <ganna@apple.com> | 2012-07-19 23:38:13 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2012-07-19 23:38:13 +0000 |
commit | 3136cf9d5b3dacf053c99cebe391c5106f94b308 (patch) | |
tree | f0efa52ea3f3db9dffac4bb34e88c3606e2daf05 /clang/lib/StaticAnalyzer/Core/CheckerManager.cpp | |
parent | 0fa6a281418e724c2ffe205c80571e0ab6b8345b (diff) | |
download | bcm5719-llvm-3136cf9d5b3dacf053c99cebe391c5106f94b308.tar.gz bcm5719-llvm-3136cf9d5b3dacf053c99cebe391c5106f94b308.zip |
[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on the
same implementation for call evaluation.
llvm-svn: 160530
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/CheckerManager.cpp')
-rw-r--r-- | clang/lib/StaticAnalyzer/Core/CheckerManager.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp b/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp index d0d212130ac..591609d2856 100644 --- a/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp +++ b/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp @@ -568,8 +568,10 @@ void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst, } // If none of the checkers evaluated the call, ask ExprEngine to handle it. - if (!anyEvaluated) - Eng.defaultEvalCall(Dst, Pred, Call); + if (!anyEvaluated) { + NodeBuilder B(Pred, Dst, Eng.getBuilderContext()); + Eng.defaultEvalCall(B, Pred, Call); + } } } |