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;
42 void disableCheckFallThrough() { enableCheckFallThrough = 0; }
49 enum VisitFlag { NotVisited = 0, Visited = 1, Pending = 2 };
50 llvm::DenseMap<const FunctionDecl*, VisitFlag> VisitedFD;
55 /// \brief Number of function CFGs built and analyzed.
56 unsigned NumFunctionsAnalyzed;
58 /// \brief Number of functions for which the CFG could not be successfully
60 unsigned NumFunctionsWithBadCFGs;
62 /// \brief Total number of blocks across all CFGs.
63 unsigned NumCFGBlocks;
65 /// \brief Largest number of CFG blocks for a single function analyzed.
66 unsigned MaxCFGBlocksPerFunction;
68 /// \brief Total number of CFGs with variables analyzed for uninitialized
70 unsigned NumUninitAnalysisFunctions;
72 /// \brief Total number of variables analyzed for uninitialized uses.
73 unsigned NumUninitAnalysisVariables;
75 /// \brief Max number of variables analyzed for uninitialized uses in a single
77 unsigned MaxUninitAnalysisVariablesPerFunction;
79 /// \brief Total number of block visits during uninitialized use analysis.
80 unsigned NumUninitAnalysisBlockVisits;
82 /// \brief Max number of block visits during uninitialized use analysis of
83 /// a single function.
84 unsigned MaxUninitAnalysisBlockVisitsPerFunction;
89 AnalysisBasedWarnings(Sema &s);
91 void IssueWarnings(Policy P, FunctionScopeInfo *fscope,
92 const Decl *D, const BlockExpr *blkExpr);
94 Policy getDefaultPolicy() { return DefaultPolicy; }
96 void PrintStats() const;
99 }} // end namespace clang::sema