Lines Matching +full:clang +full:- +full:analyzer

1 //==--AnalyzerStatsChecker.cpp - Analyzer visitation statistics --*- C++ -*-==//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
8 // This file reports various statistics about analyzer visitation.
9 //===----------------------------------------------------------------------===//
10 #include "clang/AST/DeclObjC.h"
11 #include "clang/Basic/SourceManager.h"
12 #include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
13 #include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
14 #include "clang/StaticAnalyzer/Core/Checker.h"
15 #include "clang/StaticAnalyzer/Core/CheckerManager.h"
16 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
17 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
25 using namespace clang;
51   const LocationContext *LC = GraphRoot->getLocation().getLocationContext();  in checkEndAnalysis()
53   const Decl *D = LC->getDecl();  in checkEndAnalysis()
60     if (D != P.getLocationContext()->getDecl())  in checkEndAnalysis()
64       const CFGBlock *CB = BE->getBlock();  in checkEndAnalysis()
70   C = LC->getCFG();  in checkEndAnalysis()
75   for (CFG::const_iterator I = C->begin(); I != C->end(); ++I) {  in checkEndAnalysis()
85   unreachable--;  in checkEndAnalysis()
88   unreachable--;  in checkEndAnalysis()
93   PresumedLoc Loc = SM.getPresumedLoc(D->getLocation());  in checkEndAnalysis()
108   output << " -> Total CFGBlocks: " << total << " | Unreachable CFGBlocks: "  in checkEndAnalysis()
114   B.EmitBasicReport(D, this, "Analyzer Statistics", "Internal Statistics",  in checkEndAnalysis()
121     if (Exit->empty())  in checkEndAnalysis()
123     const CFGElement &CE = Exit->front();  in checkEndAnalysis()
128                  ": The analyzer generated a sink at this point";  in checkEndAnalysis()
131           PathDiagnosticLocation::createBegin(CS->getStmt(), SM, LC));  in checkEndAnalysis()