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_ANALYSIS_WARNINGS_H
15 #define LLVM_CLANG_SEMA_ANALYSIS_WARNINGS_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;
43 void disableCheckFallThrough() { enableCheckFallThrough = 0; }
50 enum VisitFlag { NotVisited = 0, Visited = 1, Pending = 2 };
51 llvm::DenseMap<const FunctionDecl*, VisitFlag> VisitedFD;
56 /// \brief Number of function CFGs built and analyzed.
57 unsigned NumFunctionsAnalyzed;
59 /// \brief Number of functions for which the CFG could not be successfully
61 unsigned NumFunctionsWithBadCFGs;
63 /// \brief Total number of blocks across all CFGs.
64 unsigned NumCFGBlocks;
66 /// \brief Largest number of CFG blocks for a single function analyzed.
67 unsigned MaxCFGBlocksPerFunction;
69 /// \brief Total number of CFGs with variables analyzed for uninitialized
71 unsigned NumUninitAnalysisFunctions;
73 /// \brief Total number of variables analyzed for uninitialized uses.
74 unsigned NumUninitAnalysisVariables;
76 /// \brief Max number of variables analyzed for uninitialized uses in a single
78 unsigned MaxUninitAnalysisVariablesPerFunction;
80 /// \brief Total number of block visits during uninitialized use analysis.
81 unsigned NumUninitAnalysisBlockVisits;
83 /// \brief Max number of block visits during uninitialized use analysis of
84 /// a single function.
85 unsigned MaxUninitAnalysisBlockVisitsPerFunction;
90 AnalysisBasedWarnings(Sema &s);
92 void IssueWarnings(Policy P, FunctionScopeInfo *fscope,
93 const Decl *D, const BlockExpr *blkExpr);
95 Policy getDefaultPolicy() { return DefaultPolicy; }
97 void PrintStats() const;
100 }} // end namespace clang::sema