]> granicus.if.org Git - clang/commitdiff
[analyzer] Rename runPathSensitiveCheckers -> expandGraphWithCheckers.
authorArgyrios Kyrtzidis <akyrtzi@gmail.com>
Wed, 23 Feb 2011 19:38:41 +0000 (19:38 +0000)
committerArgyrios Kyrtzidis <akyrtzi@gmail.com>
Wed, 23 Feb 2011 19:38:41 +0000 (19:38 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126325 91177308-0d34-0410-b5e6-96231b3b80d8

lib/StaticAnalyzer/Core/CheckerManager.cpp

index ba52c4014dce63c476d6d5beadb8243009733867..55d2140a6a726882685430f61c5b2588822f6566 100644 (file)
@@ -62,9 +62,9 @@ void CheckerManager::runCheckersOnASTBody(const Decl *D, AnalysisManager& mgr,
 //===----------------------------------------------------------------------===//
 
 template <typename CHECK_CTX>
-static void runPathSensitiveCheckers(CHECK_CTX checkCtx,
-                                     ExplodedNodeSet &Dst,
-                                     ExplodedNodeSet &Src) {
+static void expandGraphWithCheckers(CHECK_CTX checkCtx,
+                                    ExplodedNodeSet &Dst,
+                                    ExplodedNodeSet &Src) {
 
   typename CHECK_CTX::CheckersTy::const_iterator
       I = checkCtx.checkers_begin(), E = checkCtx.checkers_end();
@@ -128,7 +128,7 @@ void CheckerManager::runCheckersForStmt(bool isPreVisit,
                                         ExprEngine &Eng) {
   CheckStmtContext C(isPreVisit, *getCachedStmtCheckersFor(S, isPreVisit),
                      S, Eng);
-  runPathSensitiveCheckers(C, Dst, Src);
+  expandGraphWithCheckers(C, Dst, Src);
 }
 
 namespace {
@@ -167,7 +167,7 @@ void CheckerManager::runCheckersForObjCMessage(bool isPreVisit,
                             isPreVisit ? PreObjCMessageCheckers
                                        : PostObjCMessageCheckers,
                             msg, Eng);
-  runPathSensitiveCheckers(C, Dst, Src);
+  expandGraphWithCheckers(C, Dst, Src);
 }
 
 namespace {
@@ -207,7 +207,7 @@ void CheckerManager::runCheckersForLocation(ExplodedNodeSet &Dst,
                                             const GRState *state,
                                             ExprEngine &Eng) {
   CheckLocationContext C(LocationCheckers, location, isLoad, S, state, Eng);
-  runPathSensitiveCheckers(C, Dst, Src);
+  expandGraphWithCheckers(C, Dst, Src);
 }
 
 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G,