contrib/llvm/tools/clang/include/clang/Sema/AnalysisBasedWarnings.h

   1 //=- AnalysisBasedWarnings.h - Sema warnings based on libAnalysis -*- C++ -*-=//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This file defines AnalysisBasedWarnings, a worker object used by Sema
  11 // that issues warnings based on dataflow-analysis.
  12 //===----------------------------------------------------------------------===//
  13
  14 #ifndef LLVM_CLANG_SEMA_ANALYSIS_WARNINGS_H
  15 #define LLVM_CLANG_SEMA_ANALYSIS_WARNINGS_H
  16
  17 #include "llvm/ADT/DenseMap.h"
  18
  19 namespace clang {
  20
  21 class BlockExpr;
  22 class Decl;
  23 class FunctionDecl;
  24 class ObjCMethodDecl;
  25 class QualType;
  26 class Sema;
  27 namespace sema {
  28   class FunctionScopeInfo;
  29 }
  30
  31 namespace sema {
  32
  33 class AnalysisBasedWarnings {
  34 public:
  35   class Policy {
  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;
  42   public:
  43     Policy();
  44     void disableCheckFallThrough() { enableCheckFallThrough = 0; }
  45   };
  46
  47 private:
  48   Sema &S;
  49   Policy DefaultPolicy;
  50
  51   enum VisitFlag { NotVisited = 0, Visited = 1, Pending = 2 };
  52   llvm::DenseMap<const FunctionDecl*, VisitFlag> VisitedFD;
  53
  54   /// \name Statistics
  55   /// @{
  56
  57   /// \brief Number of function CFGs built and analyzed.
  58   unsigned NumFunctionsAnalyzed;
  59
  60   /// \brief Number of functions for which the CFG could not be successfully
  61   /// built.
  62   unsigned NumFunctionsWithBadCFGs;
  63
  64   /// \brief Total number of blocks across all CFGs.
  65   unsigned NumCFGBlocks;
  66
  67   /// \brief Largest number of CFG blocks for a single function analyzed.
  68   unsigned MaxCFGBlocksPerFunction;
  69
  70   /// \brief Total number of CFGs with variables analyzed for uninitialized
  71   /// uses.
  72   unsigned NumUninitAnalysisFunctions;
  73
  74   /// \brief Total number of variables analyzed for uninitialized uses.
  75   unsigned NumUninitAnalysisVariables;
  76
  77   /// \brief Max number of variables analyzed for uninitialized uses in a single
  78   /// function.
  79   unsigned MaxUninitAnalysisVariablesPerFunction;
  80
  81   /// \brief Total number of block visits during uninitialized use analysis.
  82   unsigned NumUninitAnalysisBlockVisits;
  83
  84   /// \brief Max number of block visits during uninitialized use analysis of
  85   /// a single function.
  86   unsigned MaxUninitAnalysisBlockVisitsPerFunction;
  87
  88   /// @}
  89
  90 public:
  91   AnalysisBasedWarnings(Sema &s);
  92
  93   void IssueWarnings(Policy P, FunctionScopeInfo *fscope,
  94                      const Decl *D, const BlockExpr *blkExpr);
  95
  96   Policy getDefaultPolicy() { return DefaultPolicy; }
  97
  98   void PrintStats() const;
  99 };
 100
 101 }} // end namespace clang::sema
 102
 103 #endif