contrib/llvm/tools/clang/include/clang/Frontend/AnalyzerOptions.h

   1 //===--- AnalyzerOptions.h - Analysis Engine Options ------------*- 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 header contains the structures necessary for a front-end to specify
  11 // various analyses.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #ifndef LLVM_CLANG_FRONTEND_ANALYZEROPTIONS_H
  16 #define LLVM_CLANG_FRONTEND_ANALYZEROPTIONS_H
  17
  18 #include <string>
  19 #include <vector>
  20
  21 namespace clang {
  22 class ASTConsumer;
  23 class DiagnosticsEngine;
  24 class Preprocessor;
  25 class LangOptions;
  26
  27 /// Analysis - Set of available source code analyses.
  28 enum Analyses {
  29 #define ANALYSIS(NAME, CMDFLAG, DESC, SCOPE) NAME,
  30 #include "clang/Frontend/Analyses.def"
  31 NumAnalyses
  32 };
  33
  34 /// AnalysisStores - Set of available analysis store models.
  35 enum AnalysisStores {
  36 #define ANALYSIS_STORE(NAME, CMDFLAG, DESC, CREATFN) NAME##Model,
  37 #include "clang/Frontend/Analyses.def"
  38 NumStores
  39 };
  40
  41 /// AnalysisConstraints - Set of available constraint models.
  42 enum AnalysisConstraints {
  43 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) NAME##Model,
  44 #include "clang/Frontend/Analyses.def"
  45 NumConstraints
  46 };
  47
  48 /// AnalysisDiagClients - Set of available diagnostic clients for rendering
  49 ///  analysis results.
  50 enum AnalysisDiagClients {
  51 #define ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATFN, AUTOCREAT) PD_##NAME,
  52 #include "clang/Frontend/Analyses.def"
  53 NUM_ANALYSIS_DIAG_CLIENTS
  54 };
  55
  56 /// AnalysisPurgeModes - Set of available strategies for dead symbol removal.
  57 enum AnalysisPurgeMode {
  58 #define ANALYSIS_PURGE(NAME, CMDFLAG, DESC) NAME,
  59 #include "clang/Frontend/Analyses.def"
  60 NumPurgeModes
  61 };
  62
  63 /// AnalysisIPAMode - Set of inter-procedural modes.
  64 enum AnalysisIPAMode {
  65 #define ANALYSIS_IPA(NAME, CMDFLAG, DESC) NAME,
  66 #include "clang/Frontend/Analyses.def"
  67 NumIPAModes
  68 };
  69
  70 /// AnalysisInlineFunctionSelection - Set of inlining function selection heuristics.
  71 enum AnalysisInliningMode {
  72 #define ANALYSIS_INLINING_MODE(NAME, CMDFLAG, DESC) NAME,
  73 #include "clang/Frontend/Analyses.def"
  74 NumInliningModes
  75 };
  76
  77 class AnalyzerOptions {
  78 public:
  79   /// \brief Pair of checker name and enable/disable.
  80   std::vector<std::pair<std::string, bool> > CheckersControlList;
  81   AnalysisStores AnalysisStoreOpt;
  82   AnalysisConstraints AnalysisConstraintsOpt;
  83   AnalysisDiagClients AnalysisDiagOpt;
  84   AnalysisPurgeMode AnalysisPurgeOpt;
  85   AnalysisIPAMode IPAMode;
  86   std::string AnalyzeSpecificFunction;
  87   unsigned MaxNodes;
  88   unsigned MaxLoop;
  89   unsigned ShowCheckerHelp : 1;
  90   unsigned AnalyzeAll : 1;
  91   unsigned AnalyzerDisplayProgress : 1;
  92   unsigned AnalyzeNestedBlocks : 1;
  93   unsigned EagerlyAssume : 1;
  94   unsigned TrimGraph : 1;
  95   unsigned VisualizeEGDot : 1;
  96   unsigned VisualizeEGUbi : 1;
  97   unsigned UnoptimizedCFG : 1;
  98   unsigned CFGAddImplicitDtors : 1;
  99   unsigned CFGAddInitializers : 1;
 100   unsigned EagerlyTrimEGraph : 1;
 101   unsigned PrintStats : 1;
 102   unsigned NoRetryExhausted : 1;
 103   unsigned InlineMaxStackDepth;
 104   unsigned InlineMaxFunctionSize;
 105   AnalysisInliningMode InliningMode;
 106
 107 public:
 108   AnalyzerOptions() {
 109     AnalysisStoreOpt = RegionStoreModel;
 110     AnalysisConstraintsOpt = RangeConstraintsModel;
 111     AnalysisDiagOpt = PD_HTML;
 112     AnalysisPurgeOpt = PurgeStmt;
 113     IPAMode = Inlining;
 114     ShowCheckerHelp = 0;
 115     AnalyzeAll = 0;
 116     AnalyzerDisplayProgress = 0;
 117     AnalyzeNestedBlocks = 0;
 118     EagerlyAssume = 0;
 119     TrimGraph = 0;
 120     VisualizeEGDot = 0;
 121     VisualizeEGUbi = 0;
 122     UnoptimizedCFG = 0;
 123     CFGAddImplicitDtors = 0;
 124     CFGAddInitializers = 0;
 125     EagerlyTrimEGraph = 0;
 126     PrintStats = 0;
 127     NoRetryExhausted = 0;
 128     // Cap the stack depth at 4 calls (5 stack frames, base + 4 calls).
 129     InlineMaxStackDepth = 5;
 130     InlineMaxFunctionSize = 200;
 131     InliningMode = NoRedundancy;
 132   }
 133 };
 134
 135 }
 136
 137 #endif