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
23 class DiagnosticsEngine;
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 /// 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"
63 class AnalyzerOptions {
65 /// \brief Pair of checker name and enable/disable.
66 std::vector<std::pair<std::string, bool> > CheckersControlList;
67 AnalysisStores AnalysisStoreOpt;
68 AnalysisConstraints AnalysisConstraintsOpt;
69 AnalysisDiagClients AnalysisDiagOpt;
70 AnalysisPurgeMode AnalysisPurgeOpt;
71 std::string AnalyzeSpecificFunction;
74 unsigned ShowCheckerHelp : 1;
75 unsigned AnalyzeAll : 1;
76 unsigned AnalyzerDisplayProgress : 1;
77 unsigned AnalyzeNestedBlocks : 1;
78 unsigned EagerlyAssume : 1;
79 unsigned TrimGraph : 1;
80 unsigned VisualizeEGDot : 1;
81 unsigned VisualizeEGUbi : 1;
82 unsigned InlineCall : 1;
83 unsigned UnoptimizedCFG : 1;
84 unsigned CFGAddImplicitDtors : 1;
85 unsigned CFGAddInitializers : 1;
86 unsigned EagerlyTrimEGraph : 1;
90 AnalysisStoreOpt = RegionStoreModel;
91 AnalysisConstraintsOpt = RangeConstraintsModel;
92 AnalysisDiagOpt = PD_HTML;
93 AnalysisPurgeOpt = PurgeStmt;
96 AnalyzerDisplayProgress = 0;
97 AnalyzeNestedBlocks = 0;
104 CFGAddImplicitDtors = 0;
105 CFGAddInitializers = 0;
106 EagerlyTrimEGraph = 0;