1 //=- AnalysisBasedWarnings.h - Sema warnings based on libAnalysis -*- C++ -*-=//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file defines AnalysisBasedWarnings, a worker object used by Sema
11 // that issues warnings based on dataflow-analysis.
12 //===----------------------------------------------------------------------===//
14 #ifndef LLVM_CLANG_SEMA_ANALYSISBASEDWARNINGS_H
15 #define LLVM_CLANG_SEMA_ANALYSISBASEDWARNINGS_H
17 #include "llvm/ADT/DenseMap.h"
28 class FunctionScopeInfo;
33 class AnalysisBasedWarnings {
36 friend class AnalysisBasedWarnings;
37 // The warnings to run.
38 unsigned enableCheckFallThrough : 1;
39 unsigned enableCheckUnreachable : 1;
40 unsigned enableThreadSafetyAnalysis : 1;
41 unsigned enableConsumedAnalysis : 1;
44 void disableCheckFallThrough() { enableCheckFallThrough = 0; }
51 enum VisitFlag { NotVisited = 0, Visited = 1, Pending = 2 };
52 llvm::DenseMap<const FunctionDecl*, VisitFlag> VisitedFD;
57 /// \brief Number of function CFGs built and analyzed.
58 unsigned NumFunctionsAnalyzed;
60 /// \brief Number of functions for which the CFG could not be successfully
62 unsigned NumFunctionsWithBadCFGs;
64 /// \brief Total number of blocks across all CFGs.
65 unsigned NumCFGBlocks;
67 /// \brief Largest number of CFG blocks for a single function analyzed.
68 unsigned MaxCFGBlocksPerFunction;
70 /// \brief Total number of CFGs with variables analyzed for uninitialized
72 unsigned NumUninitAnalysisFunctions;
74 /// \brief Total number of variables analyzed for uninitialized uses.
75 unsigned NumUninitAnalysisVariables;
77 /// \brief Max number of variables analyzed for uninitialized uses in a single
79 unsigned MaxUninitAnalysisVariablesPerFunction;
81 /// \brief Total number of block visits during uninitialized use analysis.
82 unsigned NumUninitAnalysisBlockVisits;
84 /// \brief Max number of block visits during uninitialized use analysis of
85 /// a single function.
86 unsigned MaxUninitAnalysisBlockVisitsPerFunction;
91 AnalysisBasedWarnings(Sema &s);
93 void IssueWarnings(Policy P, FunctionScopeInfo *fscope,
94 const Decl *D, const BlockExpr *blkExpr);
96 Policy getDefaultPolicy() { return DefaultPolicy; }
98 void PrintStats() const;
101 }} // end namespace clang::sema