From: Argyrios Kyrtzidis <akyrtzi@gmail.com>
Date: Wed, 23 Feb 2011 19:38:41 +0000 (+0000)
Subject: [analyzer] Rename runPathSensitiveCheckers -> expandGraphWithCheckers.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=c2e0db82139c70c0eac9d5c165b6bf3250af5bed;p=clang

[analyzer] Rename runPathSensitiveCheckers -> expandGraphWithCheckers.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126325 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/StaticAnalyzer/Core/CheckerManager.cpp b/lib/StaticAnalyzer/Core/CheckerManager.cpp
index ba52c4014d..55d2140a6a 100644
--- a/lib/StaticAnalyzer/Core/CheckerManager.cpp
+++ b/lib/StaticAnalyzer/Core/CheckerManager.cpp
@@ -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,