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 AnalysisStores AnalysisStoreOpt;
60 AnalysisConstraints AnalysisConstraintsOpt;
61 AnalysisDiagClients AnalysisDiagOpt;
62 std::string AnalyzeSpecificFunction;
65 unsigned AnalyzeAll : 1;
66 unsigned AnalyzerDisplayProgress : 1;
67 unsigned AnalyzeNestedBlocks : 1;
68 unsigned EagerlyAssume : 1;
69 unsigned IdempotentOps : 1;
70 unsigned PurgeDead : 1;
71 unsigned TrimGraph : 1;
72 unsigned VisualizeEGDot : 1;
73 unsigned VisualizeEGUbi : 1;
74 unsigned EnableExperimentalChecks : 1;
75 unsigned EnableExperimentalInternalChecks : 1;
76 unsigned EnableIdempotentOperationChecker : 1;
77 unsigned InlineCall : 1;
78 unsigned UnoptimizedCFG : 1;
82 AnalysisStoreOpt = BasicStoreModel;
83 AnalysisConstraintsOpt = RangeConstraintsModel;
84 AnalysisDiagOpt = PD_HTML;
86 AnalyzerDisplayProgress = 0;
87 AnalyzeNestedBlocks = 0;
93 EnableExperimentalChecks = 0;
94 EnableExperimentalInternalChecks = 0;