[cfe-commits] r126325 - /cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp

[Argyrios Kyrtzidis]

Author: akirtzidis
Date: Wed Feb 23 13:38:41 2011
New Revision: 126325

URL: http://llvm.org/viewvc/llvm-project?rev=126325&view=rev
Log:
[analyzer] Rename runPathSensitiveCheckers -> expandGraphWithCheckers.

Modified:
    cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp
URL: 
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp?rev=126325&r1=126324&r2=126325&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp Wed Feb 23 13:38:41 
2011
@@ -62,9 +62,9 @@
 
//===----------------------------------------------------------------------===//
 
 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 @@
                                         ExprEngine &Eng) {
   CheckStmtContext C(isPreVisit, *getCachedStmtCheckersFor(S, isPreVisit),
                      S, Eng);
-  runPathSensitiveCheckers(C, Dst, Src);
+  expandGraphWithCheckers(C, Dst, Src);
 }
 
 namespace {
@@ -167,7 +167,7 @@
                             isPreVisit ? PreObjCMessageCheckers
                                        : PostObjCMessageCheckers,
                             msg, Eng);
-  runPathSensitiveCheckers(C, Dst, Src);
+  expandGraphWithCheckers(C, Dst, Src);
 }
 
 namespace {
@@ -207,7 +207,7 @@
                                             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,


_______________________________________________
cfe-commits mailing list
cfe-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits