[cfe-commits] r126326 - in /cfe/trunk: include/clang/StaticAnalyzer/Core/CheckerManager.h lib/StaticAnalyzer/Core/CheckerManager.cpp

[Argyrios Kyrtzidis]

Author: akirtzidis
Date: Wed Feb 23 13:38:45 2011
New Revision: 126326

URL: http://llvm.org/viewvc/llvm-project?rev=126326&view=rev
Log:
[analyzer] const goodness.

Modified:
    cfe/trunk/include/clang/StaticAnalyzer/Core/CheckerManager.h
    cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp

Modified: cfe/trunk/include/clang/StaticAnalyzer/Core/CheckerManager.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/StaticAnalyzer/Core/CheckerManager.h?rev=126326&r1=126325&r2=126326&view=diff
==============================================================================
--- cfe/trunk/include/clang/StaticAnalyzer/Core/CheckerManager.h (original)
+++ cfe/trunk/include/clang/StaticAnalyzer/Core/CheckerManager.h Wed Feb 23 13:38:45 2011
@@ -133,7 +133,7 @@
 
   /// \brief Run checkers for pre-visiting Stmts.
   void runCheckersForPreStmt(ExplodedNodeSet &Dst,
-                             ExplodedNodeSet &Src,
+                             const ExplodedNodeSet &Src,
                              const Stmt *S,
                              ExprEngine &Eng) {
     runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng);
@@ -141,7 +141,7 @@
 
   /// \brief Run checkers for post-visiting Stmts.
   void runCheckersForPostStmt(ExplodedNodeSet &Dst,
-                              ExplodedNodeSet &Src,
+                              const ExplodedNodeSet &Src,
                               const Stmt *S,
                               ExprEngine &Eng) {
     runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng);
@@ -149,12 +149,12 @@
 
   /// \brief Run checkers for visiting Stmts.
   void runCheckersForStmt(bool isPreVisit,
-                          ExplodedNodeSet &Dst, ExplodedNodeSet &Src,
+                          ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
                           const Stmt *S, ExprEngine &Eng);
 
   /// \brief Run checkers for pre-visiting obj-c messages.
   void runCheckersForPreObjCMessage(ExplodedNodeSet &Dst,
-                                    ExplodedNodeSet &Src,
+                                    const ExplodedNodeSet &Src,
                                     const ObjCMessage &msg,
                                     ExprEngine &Eng) {
     runCheckersForObjCMessage(/*isPreVisit=*/true, Dst, Src, msg, Eng);
@@ -162,7 +162,7 @@
 
   /// \brief Run checkers for post-visiting obj-c messages.
   void runCheckersForPostObjCMessage(ExplodedNodeSet &Dst,
-                                     ExplodedNodeSet &Src,
+                                     const ExplodedNodeSet &Src,
                                      const ObjCMessage &msg,
                                      ExprEngine &Eng) {
     runCheckersForObjCMessage(/*isPreVisit=*/false, Dst, Src, msg, Eng);
@@ -170,12 +170,13 @@
 
   /// \brief Run checkers for visiting obj-c messages.
   void runCheckersForObjCMessage(bool isPreVisit,
-                                 ExplodedNodeSet &Dst, ExplodedNodeSet &Src,
+                                 ExplodedNodeSet &Dst,
+                                 const ExplodedNodeSet &Src,
                                  const ObjCMessage &msg, ExprEngine &Eng);
 
   /// \brief Run checkers for load/store of a location.
   void runCheckersForLocation(ExplodedNodeSet &Dst,
-                              ExplodedNodeSet &Src,
+                              const ExplodedNodeSet &Src,
                               SVal location, bool isLoad,
                               const Stmt *S,
                               const GRState *state,

Modified: cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp?rev=126326&r1=126325&r2=126326&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp Wed Feb 23 13:38:45 2011
@@ -64,7 +64,7 @@
 template <typename CHECK_CTX>
 static void expandGraphWithCheckers(CHECK_CTX checkCtx,
                                     ExplodedNodeSet &Dst,
-                                    ExplodedNodeSet &Src) {
+                                    const ExplodedNodeSet &Src) {
 
   typename CHECK_CTX::CheckersTy::const_iterator
       I = checkCtx.checkers_begin(), E = checkCtx.checkers_end();
@@ -73,15 +73,15 @@
     return;
   }
 
-  ExplodedNodeSet Tmp;
-  ExplodedNodeSet *PrevSet = &Src;
+  ExplodedNodeSet Tmp1, Tmp2;
+  const ExplodedNodeSet *PrevSet = &Src;
 
   for (; I != E; ++I) {
     ExplodedNodeSet *CurrSet = 0;
     if (I+1 == E)
       CurrSet = &Dst;
     else {
-      CurrSet = (PrevSet == &Tmp) ? &Src : &Tmp;
+      CurrSet = (PrevSet == &Tmp1) ? &Tmp2 : &Tmp1;
       CurrSet->clear();
     }
 
@@ -123,7 +123,7 @@
 /// \brief Run checkers for visiting Stmts.
 void CheckerManager::runCheckersForStmt(bool isPreVisit,
                                         ExplodedNodeSet &Dst,
-                                        ExplodedNodeSet &Src,
+                                        const ExplodedNodeSet &Src,
                                         const Stmt *S,
                                         ExprEngine &Eng) {
   CheckStmtContext C(isPreVisit, *getCachedStmtCheckersFor(S, isPreVisit),
@@ -160,7 +160,7 @@
 /// \brief Run checkers for visiting obj-c messages.
 void CheckerManager::runCheckersForObjCMessage(bool isPreVisit,
                                                ExplodedNodeSet &Dst,
-                                               ExplodedNodeSet &Src,
+                                               const ExplodedNodeSet &Src,
                                                const ObjCMessage &msg,
                                                ExprEngine &Eng) {
   CheckObjCMessageContext C(isPreVisit,
@@ -201,7 +201,7 @@
 
 /// \brief Run checkers for load/store of a location.
 void CheckerManager::runCheckersForLocation(ExplodedNodeSet &Dst,
-                                            ExplodedNodeSet &Src,
+                                            const ExplodedNodeSet &Src,
                                             SVal location, bool isLoad,
                                             const Stmt *S,
                                             const GRState *state,