diff options
| author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-23 19:38:41 +0000 |
|---|---|---|
| committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-23 19:38:41 +0000 |
| commit | c2e0db82139c70c0eac9d5c165b6bf3250af5bed (patch) | |
| tree | 529b83b26ca75bb94127fa08912daba8d55c901a /lib/StaticAnalyzer/Core/CheckerManager.cpp | |
| parent | e1bfb7ae0dd0762c88e1fd94746e973c37f2e04e (diff) | |
[analyzer] Rename runPathSensitiveCheckers -> expandGraphWithCheckers.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126325 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/CheckerManager.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/CheckerManager.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
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, |