diff options
| author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-23 19:38:45 +0000 |
|---|---|---|
| committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-23 19:38:45 +0000 |
| commit | cd50e136ad7dc721822f5e6350769a37c216612d (patch) | |
| tree | 9d01c246c5893c2162d0beba65b8be9dc1895e74 /include/clang/StaticAnalyzer/Core/CheckerManager.h | |
| parent | c2e0db82139c70c0eac9d5c165b6bf3250af5bed (diff) | |
[analyzer] const goodness.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126326 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/CheckerManager.h')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/CheckerManager.h | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/include/clang/StaticAnalyzer/Core/CheckerManager.h b/include/clang/StaticAnalyzer/Core/CheckerManager.h index 6a875571c7..fd12864e11 100644 --- a/include/clang/StaticAnalyzer/Core/CheckerManager.h +++ b/include/clang/StaticAnalyzer/Core/CheckerManager.h @@ -133,7 +133,7 @@ public: /// \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 @@ public: /// \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 @@ public: /// \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 @@ public: /// \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 @@ public: /// \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, |