diff --git a/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp b/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp index 5cf9e31c5b..2b8e77745e 100644 --- a/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp +++ b/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp @@ -430,10 +430,11 @@ void AnalysisConsumer::HandleCode(Decl *D, AnalysisMode Mode, if ((*WI)->hasBody()) { if (Mode != ANALYSIS_PATH) checkerMgr->runCheckersOnASTBody(*WI, *Mgr, BR); - if (Mode != ANALYSIS_SYNTAX && checkerMgr->hasPathSensitiveCheckers()) + if (Mode != ANALYSIS_SYNTAX && checkerMgr->hasPathSensitiveCheckers()) { RunPathSensitiveChecks(*WI, VisitedCallees); + NumFunctionsAnalyzed++; + } } - NumFunctionsAnalyzed++; } //===----------------------------------------------------------------------===//