diff options
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(); } |