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 Diagnostic; 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 class AnalyzerOptions { 57 public: 58 /// \brief Pair of checker name and enable/disable. 59 std::vector<std::pair<std::string, bool> > CheckersControlList; 60 AnalysisStores AnalysisStoreOpt; 61 AnalysisConstraints AnalysisConstraintsOpt; 62 AnalysisDiagClients AnalysisDiagOpt; 63 std::string AnalyzeSpecificFunction; 64 unsigned MaxNodes; 65 unsigned MaxLoop; 66 unsigned ShowCheckerHelp : 1; 67 unsigned AnalyzeAll : 1; 68 unsigned AnalyzerDisplayProgress : 1; 69 unsigned AnalyzeNestedBlocks : 1; 70 unsigned EagerlyAssume : 1; 71 unsigned PurgeDead : 1; 72 unsigned TrimGraph : 1; 73 unsigned VisualizeEGDot : 1; 74 unsigned VisualizeEGUbi : 1; 75 unsigned InlineCall : 1; 76 unsigned UnoptimizedCFG : 1; 77 unsigned CFGAddImplicitDtors : 1; 78 unsigned CFGAddInitializers : 1; 79 unsigned EagerlyTrimEGraph : 1; 80 81 public: AnalyzerOptions()82 AnalyzerOptions() { 83 AnalysisStoreOpt = BasicStoreModel; 84 AnalysisConstraintsOpt = RangeConstraintsModel; 85 AnalysisDiagOpt = PD_HTML; 86 ShowCheckerHelp = 0; 87 AnalyzeAll = 0; 88 AnalyzerDisplayProgress = 0; 89 AnalyzeNestedBlocks = 0; 90 EagerlyAssume = 0; 91 PurgeDead = 1; 92 TrimGraph = 0; 93 VisualizeEGDot = 0; 94 VisualizeEGUbi = 0; 95 InlineCall = 0; 96 UnoptimizedCFG = 0; 97 CFGAddImplicitDtors = 0; 98 CFGAddInitializers = 0; 99 EagerlyTrimEGraph = 0; 100 } 101 }; 102 103 } 104 105 #endif 106