diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-06-23 22:08:00 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-06-23 22:08:00 +0000 |
| commit | ccc263b44c62ce3a02f797a3ddb3d6017cf0e5e4 (patch) | |
| tree | 51ce04009201d64760183de4e8ecbe0467e02499 /lib/Checker/GRCoreEngine.cpp | |
| parent | 2e964a922c0826a1216d101df315432c6a0a78f6 (diff) | |
Add 'VisitEndAnalysis' callback to Checker class. This callback is called by GRExprEngine
when the worklist algorithm has terminated. This allows some checkers to do a post-analysis
phase after all paths have been analyzed.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@106689 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/GRCoreEngine.cpp')
| -rw-r--r-- | lib/Checker/GRCoreEngine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Checker/GRCoreEngine.cpp b/lib/Checker/GRCoreEngine.cpp index 23a87d303b..36f330303c 100644 --- a/lib/Checker/GRCoreEngine.cpp +++ b/lib/Checker/GRCoreEngine.cpp @@ -221,6 +221,7 @@ bool GRCoreEngine::ExecuteWorkList(const LocationContext *L, unsigned Steps) { } } + SubEngine.ProcessEndWorklist(WList->hasWork()); return WList->hasWork(); } |