diff options
author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-23 07:19:23 +0000 |
---|---|---|
committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-23 07:19:23 +0000 |
commit | bf61d97a983bc296848fe20511381348d9b46d8f (patch) | |
tree | a4d98c7fc1a182cb3aba4a54c483889e02bb674b /clang/lib/StaticAnalyzer/Core/CheckerManager.cpp | |
parent | aad837251623bf6a4b292c7e530d5b55c532a155 (diff) | |
download | bcm5719-llvm-bf61d97a983bc296848fe20511381348d9b46d8f.tar.gz bcm5719-llvm-bf61d97a983bc296848fe20511381348d9b46d8f.zip |
[analyzer] Migrate UnreachableCodeChecker to CheckerV2.
llvm-svn: 126308
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/CheckerManager.cpp')
-rw-r--r-- | clang/lib/StaticAnalyzer/Core/CheckerManager.cpp | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp b/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp index cb7c0ecdb43..0ff29757a65 100644 --- a/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp +++ b/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp @@ -200,6 +200,13 @@ void CheckerManager::runCheckersForLocation(ExplodedNodeSet &Dst, runPathSensitiveCheckers(C, Dst, Src); } +void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G, + BugReporter &BR, + ExprEngine &Eng) { + for (unsigned i = 0, e = EndAnalysisCheckers.size(); i != e; ++i) + EndAnalysisCheckers[i](G, BR, Eng); +} + void CheckerManager::registerCheckersToEngine(ExprEngine &eng) { for (unsigned i = 0, e = Funcs.size(); i != e; ++i) Funcs[i](eng); @@ -245,6 +252,10 @@ void CheckerManager::_registerForLocation(CheckLocationFunc checkfn) { LocationCheckers.push_back(checkfn); } +void CheckerManager::_registerForEndAnalysis(CheckEndAnalysisFunc checkfn) { + EndAnalysisCheckers.push_back(checkfn); +} + //===----------------------------------------------------------------------===// // Implementation details. //===----------------------------------------------------------------------===// |