1 //===--- AnalyzerOptions.h - Analysis Engine Options ------------*- 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 header contains the structures necessary for a front-end to specify
13 //===----------------------------------------------------------------------===//
15 #ifndef LLVM_CLANG_FRONTEND_ANALYZEROPTIONS_H
16 #define LLVM_CLANG_FRONTEND_ANALYZEROPTIONS_H
27 /// Analysis - Set of available source code analyses.
29 #define ANALYSIS(NAME, CMDFLAG, DESC, SCOPE) NAME,
30 #include "clang/Frontend/Analyses.def"
34 /// AnalysisStores - Set of available analysis store models.
36 #define ANALYSIS_STORE(NAME, CMDFLAG, DESC, CREATFN) NAME##Model,
37 #include "clang/Frontend/Analyses.def"
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"
48 /// AnalysisDiagClients - Set of available diagnostic clients for rendering
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
56 class AnalyzerOptions {
58 std::vector<Analyses> AnalysisList;
59 /// \brief Pair of checker name and enable/disable.
60 std::vector<std::pair<std::string, bool> > CheckersControlList;
61 AnalysisStores AnalysisStoreOpt;
62 AnalysisConstraints AnalysisConstraintsOpt;
63 AnalysisDiagClients AnalysisDiagOpt;
64 std::string AnalyzeSpecificFunction;
67 unsigned ShowCheckerHelp : 1;
68 unsigned AnalyzeAll : 1;
69 unsigned AnalyzerDisplayProgress : 1;
70 unsigned AnalyzeNestedBlocks : 1;
71 unsigned AnalyzerStats : 1;
72 unsigned EagerlyAssume : 1;
73 unsigned BufferOverflows : 1;
74 unsigned PurgeDead : 1;
75 unsigned TrimGraph : 1;
76 unsigned VisualizeEGDot : 1;
77 unsigned VisualizeEGUbi : 1;
78 unsigned EnableExperimentalChecks : 1;
79 unsigned InlineCall : 1;
80 unsigned UnoptimizedCFG : 1;
81 unsigned CFGAddImplicitDtors : 1;
82 unsigned CFGAddInitializers : 1;
83 unsigned EagerlyTrimEGraph : 1;
87 AnalysisStoreOpt = BasicStoreModel;
88 AnalysisConstraintsOpt = RangeConstraintsModel;
89 AnalysisDiagOpt = PD_HTML;
92 AnalyzerDisplayProgress = 0;
93 AnalyzeNestedBlocks = 0;
101 EnableExperimentalChecks = 0;
104 CFGAddImplicitDtors = 0;
105 CFGAddInitializers = 0;
106 EagerlyTrimEGraph = 0;