AnalyzerOptions.h revision 7229d0011766c174beffe6a846d78f448f845b39
19b414d3e2d0cb84512b55a3275a98490b090162aDaniel Dunbar//===--- AnalyzerOptions.h - Analysis Engine Options ------------*- C++ -*-===// 2e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman// 3e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman// The LLVM Compiler Infrastructure 4e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman// 5e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman// This file is distributed under the University of Illinois Open Source 6e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman// License. See LICENSE.TXT for details. 7e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman// 8e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman//===----------------------------------------------------------------------===// 9e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman// 105705a40c7ec62f1a903bf26e1e6a7f91b5b98ba3Ted Kremenek// This header defines various options for the static analyzer that are set 115705a40c7ec62f1a903bf26e1e6a7f91b5b98ba3Ted Kremenek// by the frontend and are consulted throughout the analyzer. 12e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman// 13e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman//===----------------------------------------------------------------------===// 14e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman 155705a40c7ec62f1a903bf26e1e6a7f91b5b98ba3Ted Kremenek#ifndef LLVM_CLANG_ANALYZEROPTIONS_H 165705a40c7ec62f1a903bf26e1e6a7f91b5b98ba3Ted Kremenek#define LLVM_CLANG_ANALYZEROPTIONS_H 175746f1ff6286f5e5bd7fc28e5e2031f18e4676c9Daniel Dunbar 18e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman#include <string> 19e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman#include <vector> 2081fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose#include "clang/Basic/LLVM.h" 2181fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose#include "llvm/ADT/Optional.h" 2245796b10d11869e86c6b85e24df165410536b313Ted Kremenek#include "llvm/ADT/IntrusiveRefCntPtr.h" 237229d0011766c174beffe6a846d78f448f845b39Anna Zaks#include "llvm/ADT/StringMap.h" 24e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman 25e1718aff224e7da84720beb42a39362199ca83f3Eli Friedmannamespace clang { 26e1718aff224e7da84720beb42a39362199ca83f3Eli Friedmanclass ASTConsumer; 27d6471f7c1921c7802804ce3ff6fe9768310f72b9David Blaikieclass DiagnosticsEngine; 28e1718aff224e7da84720beb42a39362199ca83f3Eli Friedmanclass Preprocessor; 29e1718aff224e7da84720beb42a39362199ca83f3Eli Friedmanclass LangOptions; 30e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman 31e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman/// Analysis - Set of available source code analyses. 32e1718aff224e7da84720beb42a39362199ca83f3Eli Friedmanenum Analyses { 33e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman#define ANALYSIS(NAME, CMDFLAG, DESC, SCOPE) NAME, 34987695a5ddd78beca784d4e503ffbc2dc879181aTed Kremenek#include "clang/StaticAnalyzer/Core/Analyses.def" 35e1718aff224e7da84720beb42a39362199ca83f3Eli FriedmanNumAnalyses 36e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman}; 37e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman 38e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman/// AnalysisStores - Set of available analysis store models. 39e1718aff224e7da84720beb42a39362199ca83f3Eli Friedmanenum AnalysisStores { 40e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman#define ANALYSIS_STORE(NAME, CMDFLAG, DESC, CREATFN) NAME##Model, 41987695a5ddd78beca784d4e503ffbc2dc879181aTed Kremenek#include "clang/StaticAnalyzer/Core/Analyses.def" 42e1718aff224e7da84720beb42a39362199ca83f3Eli FriedmanNumStores 43e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman}; 44e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman 45e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman/// AnalysisConstraints - Set of available constraint models. 46e1718aff224e7da84720beb42a39362199ca83f3Eli Friedmanenum AnalysisConstraints { 47e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman#define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) NAME##Model, 48987695a5ddd78beca784d4e503ffbc2dc879181aTed Kremenek#include "clang/StaticAnalyzer/Core/Analyses.def" 49e1718aff224e7da84720beb42a39362199ca83f3Eli FriedmanNumConstraints 50e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman}; 51e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman 52e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman/// AnalysisDiagClients - Set of available diagnostic clients for rendering 53e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman/// analysis results. 54e1718aff224e7da84720beb42a39362199ca83f3Eli Friedmanenum AnalysisDiagClients { 55e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman#define ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATFN, AUTOCREAT) PD_##NAME, 56987695a5ddd78beca784d4e503ffbc2dc879181aTed Kremenek#include "clang/StaticAnalyzer/Core/Analyses.def" 57e1718aff224e7da84720beb42a39362199ca83f3Eli FriedmanNUM_ANALYSIS_DIAG_CLIENTS 58e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman}; 59e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman 60d30952838421ddfb9f7e346b2ba8213889a5f789Anna Zaks/// AnalysisPurgeModes - Set of available strategies for dead symbol removal. 61d30952838421ddfb9f7e346b2ba8213889a5f789Anna Zaksenum AnalysisPurgeMode { 62d30952838421ddfb9f7e346b2ba8213889a5f789Anna Zaks#define ANALYSIS_PURGE(NAME, CMDFLAG, DESC) NAME, 63987695a5ddd78beca784d4e503ffbc2dc879181aTed Kremenek#include "clang/StaticAnalyzer/Core/Analyses.def" 64d30952838421ddfb9f7e346b2ba8213889a5f789Anna ZaksNumPurgeModes 65d30952838421ddfb9f7e346b2ba8213889a5f789Anna Zaks}; 66d30952838421ddfb9f7e346b2ba8213889a5f789Anna Zaks 6766253352131e3e7a22b3bfd0e180607aa2bfb988Anna Zaks/// AnalysisIPAMode - Set of inter-procedural modes. 6866253352131e3e7a22b3bfd0e180607aa2bfb988Anna Zaksenum AnalysisIPAMode { 6966253352131e3e7a22b3bfd0e180607aa2bfb988Anna Zaks#define ANALYSIS_IPA(NAME, CMDFLAG, DESC) NAME, 70987695a5ddd78beca784d4e503ffbc2dc879181aTed Kremenek#include "clang/StaticAnalyzer/Core/Analyses.def" 7166253352131e3e7a22b3bfd0e180607aa2bfb988Anna ZaksNumIPAModes 7266253352131e3e7a22b3bfd0e180607aa2bfb988Anna Zaks}; 7366253352131e3e7a22b3bfd0e180607aa2bfb988Anna Zaks 7466253352131e3e7a22b3bfd0e180607aa2bfb988Anna Zaks/// AnalysisInlineFunctionSelection - Set of inlining function selection heuristics. 7566253352131e3e7a22b3bfd0e180607aa2bfb988Anna Zaksenum AnalysisInliningMode { 7666253352131e3e7a22b3bfd0e180607aa2bfb988Anna Zaks#define ANALYSIS_INLINING_MODE(NAME, CMDFLAG, DESC) NAME, 77987695a5ddd78beca784d4e503ffbc2dc879181aTed Kremenek#include "clang/StaticAnalyzer/Core/Analyses.def" 7866253352131e3e7a22b3bfd0e180607aa2bfb988Anna ZaksNumInliningModes 7966253352131e3e7a22b3bfd0e180607aa2bfb988Anna Zaks}; 8066253352131e3e7a22b3bfd0e180607aa2bfb988Anna Zaks 81de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose/// \brief Describes the different kinds of C++ member functions which can be 82de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose/// considered for inlining by the analyzer. 83de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose/// 84de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose/// These options are cumulative; enabling one kind of member function will 85de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose/// enable all kinds with lower enum values. 86de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Roseenum CXXInlineableMemberKind { 87de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose // Uninitialized = 0, 88de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose 89de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose /// A dummy mode in which no C++ inlining is enabled. 90de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose CIMK_None = 1, 91de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose 92de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose /// Refers to regular member function and operator calls. 93de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose CIMK_MemberFunctions, 94de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose 95de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose /// Refers to constructors (implicit or explicit). 96de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose /// 97de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose /// Note that a constructor will not be inlined if the corresponding 98de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose /// destructor is non-trivial. 99de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose CIMK_Constructors, 100de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose 101de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose /// Refers to destructors (implicit or explicit). 102de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose CIMK_Destructors 103de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose}; 104de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose 105de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose 10645796b10d11869e86c6b85e24df165410536b313Ted Kremenekclass AnalyzerOptions : public llvm::RefCountedBase<AnalyzerOptions> { 107918ac48e315d42fed7fe856a3fce70d9d930cdcdDaniel Dunbarpublic: 108255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek typedef llvm::StringMap<std::string> ConfigTable; 109255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 11043dee220252ef0b42c5f8a3bb1eca97f84f2565fArgyrios Kyrtzidis /// \brief Pair of checker name and enable/disable. 11143dee220252ef0b42c5f8a3bb1eca97f84f2565fArgyrios Kyrtzidis std::vector<std::pair<std::string, bool> > CheckersControlList; 112255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 113255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek /// \brief A key-value table of use-specified configuration values. 114255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek ConfigTable Config; 115e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman AnalysisStores AnalysisStoreOpt; 116e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman AnalysisConstraints AnalysisConstraintsOpt; 117e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman AnalysisDiagClients AnalysisDiagOpt; 118d30952838421ddfb9f7e346b2ba8213889a5f789Anna Zaks AnalysisPurgeMode AnalysisPurgeOpt; 119255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 120255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek // \brief The interprocedural analysis mode. 12166253352131e3e7a22b3bfd0e180607aa2bfb988Anna Zaks AnalysisIPAMode IPAMode; 122255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 123e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman std::string AnalyzeSpecificFunction; 124255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 125255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek /// \brief The maximum number of exploded nodes the analyzer will generate. 126c09289d104b8e01ecd998e3f08b2b0561049e1dcZhongxing Xu unsigned MaxNodes; 127255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 128255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek /// \brief The maximum number of times the analyzer visits a block. 1292fa9d72d4d23ccdcd4137946e5ebafac7a04f04cTed Kremenek unsigned maxBlockVisitOnPath; 130255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 131255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 132116f3640daee424dfcdbe55e80be5a67476be4b0Argyrios Kyrtzidis unsigned ShowCheckerHelp : 1; 133918ac48e315d42fed7fe856a3fce70d9d930cdcdDaniel Dunbar unsigned AnalyzeAll : 1; 134918ac48e315d42fed7fe856a3fce70d9d930cdcdDaniel Dunbar unsigned AnalyzerDisplayProgress : 1; 135fc576514d06c46a7cac49500169411d82f38d04bTed Kremenek unsigned AnalyzeNestedBlocks : 1; 136255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 137255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek /// \brief The flag regulates if we should eagerly assume evaluations of 138255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek /// conditionals, thus, bifurcating the path. 139255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek /// 1400caa2d47b84337e942b3f6652adfafe4ae506cfeTed Kremenek /// This flag indicates how the engine should handle expressions such as: 'x = 1410caa2d47b84337e942b3f6652adfafe4ae506cfeTed Kremenek /// (y != 0)'. When this flag is true then the subexpression 'y != 0' will be 1420caa2d47b84337e942b3f6652adfafe4ae506cfeTed Kremenek /// eagerly assumed to be true or false, thus evaluating it to the integers 0 1430caa2d47b84337e942b3f6652adfafe4ae506cfeTed Kremenek /// or 1 respectively. The upside is that this can increase analysis 1440caa2d47b84337e942b3f6652adfafe4ae506cfeTed Kremenek /// precision until we have a better way to lazily evaluate such logic. The 1450caa2d47b84337e942b3f6652adfafe4ae506cfeTed Kremenek /// downside is that it eagerly bifurcates paths. 1460caa2d47b84337e942b3f6652adfafe4ae506cfeTed Kremenek unsigned eagerlyAssumeBinOpBifurcation : 1; 147255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 148918ac48e315d42fed7fe856a3fce70d9d930cdcdDaniel Dunbar unsigned TrimGraph : 1; 1493b8a04004afa46057a9af4afbd086be71d619793Ted Kremenek unsigned visualizeExplodedGraphWithGraphViz : 1; 1503b8a04004afa46057a9af4afbd086be71d619793Ted Kremenek unsigned visualizeExplodedGraphWithUbiGraph : 1; 1519b823e8e1ccb8a2cb49923bad22a80ca96f41f92Ted Kremenek unsigned UnoptimizedCFG : 1; 152255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek unsigned eagerlyTrimExplodedGraph : 1; 15381fb169f42769e02c7425b23885a261c025fd5e6Anna Zaks unsigned PrintStats : 1; 154255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 155255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek /// \brief Do not re-analyze paths leading to exhausted nodes with a different 156255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek /// strategy. We get better code coverage when retry is enabled. 157b47dbcbc12430fdf3e5a5b9f59cdec5480e89e75Anna Zaks unsigned NoRetryExhausted : 1; 158255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 159255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek /// \brief The inlining stack depth limit. 1608235f9c9c8b3d1737d1c6bd57f7ba3f616b92392Anna Zaks unsigned InlineMaxStackDepth; 161255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 162255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek /// \brief The mode of function selection used during inlining. 1638235f9c9c8b3d1737d1c6bd57f7ba3f616b92392Anna Zaks unsigned InlineMaxFunctionSize; 164255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek 165255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek /// \brief The mode of function selection used during inlining. 16666253352131e3e7a22b3bfd0e180607aa2bfb988Anna Zaks AnalysisInliningMode InliningMode; 1677b99d12b4ca67fccdf5090761ba257732e954e75Zhongxing Xu 168de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Roseprivate: 169de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose /// Controls which C++ member functions will be considered for inlining. 170de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose CXXInlineableMemberKind CXXMemberInliningMode; 17181fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose 172978869aa6e31a4bc6afdf5446ffb717aad3f7d97Jordan Rose /// \sa includeTemporaryDtorsInCFG 17381fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose llvm::Optional<bool> IncludeTemporaryDtorsInCFG; 174978869aa6e31a4bc6afdf5446ffb717aad3f7d97Jordan Rose 175978869aa6e31a4bc6afdf5446ffb717aad3f7d97Jordan Rose /// \sa mayInlineCXXStandardLibrary 17681fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose llvm::Optional<bool> InlineCXXStandardLibrary; 177978869aa6e31a4bc6afdf5446ffb717aad3f7d97Jordan Rose 178978869aa6e31a4bc6afdf5446ffb717aad3f7d97Jordan Rose /// \sa mayInlineTemplateFunctions 17981fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose llvm::Optional<bool> InlineTemplateFunctions; 1807229d0011766c174beffe6a846d78f448f845b39Anna Zaks 1817229d0011766c174beffe6a846d78f448f845b39Anna Zaks // Cache of the "ipa-always-inline-size" setting. 1827229d0011766c174beffe6a846d78f448f845b39Anna Zaks // \sa getAlwaysInlineSize 1837229d0011766c174beffe6a846d78f448f845b39Anna Zaks llvm::Optional<unsigned> AlwaysInlineSize; 18481fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose 185978869aa6e31a4bc6afdf5446ffb717aad3f7d97Jordan Rose /// Interprets an option's string value as a boolean. 186978869aa6e31a4bc6afdf5446ffb717aad3f7d97Jordan Rose /// 187978869aa6e31a4bc6afdf5446ffb717aad3f7d97Jordan Rose /// Accepts the strings "true" and "false". 188978869aa6e31a4bc6afdf5446ffb717aad3f7d97Jordan Rose /// If an option value is not provided, returns the given \p DefaultVal. 189978869aa6e31a4bc6afdf5446ffb717aad3f7d97Jordan Rose bool getBooleanOption(StringRef Name, bool DefaultVal) const; 190de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose 1917229d0011766c174beffe6a846d78f448f845b39Anna Zaks /// Interprets an option's string value as an integer value. 1927229d0011766c174beffe6a846d78f448f845b39Anna Zaks int getOptionAsInteger(llvm::StringRef Name, int DefaultVal) const; 1937229d0011766c174beffe6a846d78f448f845b39Anna Zaks 194de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rosepublic: 195de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose /// Returns the option controlling which C++ member functions will be 196de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose /// considered for inlining. 197de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose /// 1985a1ffe98b04120846a15f7105905b5f363b08635Jordan Rose /// This is controlled by the 'c++-inlining' config option. 1995a1ffe98b04120846a15f7105905b5f363b08635Jordan Rose /// 200de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose /// \sa CXXMemberInliningMode 201de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose bool mayInlineCXXMemberFunction(CXXInlineableMemberKind K) const; 202de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose 2035a1ffe98b04120846a15f7105905b5f363b08635Jordan Rose /// Returns whether or not the destructors for C++ temporary objects should 2045a1ffe98b04120846a15f7105905b5f363b08635Jordan Rose /// be included in the CFG. 2055a1ffe98b04120846a15f7105905b5f363b08635Jordan Rose /// 206978869aa6e31a4bc6afdf5446ffb717aad3f7d97Jordan Rose /// This is controlled by the 'cfg-temporary-dtors' config option, which 207978869aa6e31a4bc6afdf5446ffb717aad3f7d97Jordan Rose /// accepts the values "true" and "false". 2085a1ffe98b04120846a15f7105905b5f363b08635Jordan Rose bool includeTemporaryDtorsInCFG() const; 2095a1ffe98b04120846a15f7105905b5f363b08635Jordan Rose 21081fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose /// Returns whether or not C++ standard library functions may be considered 21181fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose /// for inlining. 21281fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose /// 21381fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose /// This is controlled by the 'c++-stdlib-inlining' config option, which 21481fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose /// accepts the values "true" and "false". 21581fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose bool mayInlineCXXStandardLibrary() const; 21681fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose 21781fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose /// Returns whether or not templated functions may be considered for inlining. 21881fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose /// 21981fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose /// This is controlled by the 'c++-template-inlining' config option, which 22081fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose /// accepts the values "true" and "false". 22181fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose bool mayInlineTemplateFunctions() const; 22281fb50e8b120fc95dc0245b4112972d4d7cca3b5Jordan Rose 2237229d0011766c174beffe6a846d78f448f845b39Anna Zaks // Returns the size of the functions (in basic blocks), which should be 2247229d0011766c174beffe6a846d78f448f845b39Anna Zaks // considered to be small enough to always inline. 2257229d0011766c174beffe6a846d78f448f845b39Anna Zaks // 2267229d0011766c174beffe6a846d78f448f845b39Anna Zaks // This is controlled by "ipa-always-inline-size" analyzer-config option. 2277229d0011766c174beffe6a846d78f448f845b39Anna Zaks unsigned getAlwaysInlineSize() const; 2287229d0011766c174beffe6a846d78f448f845b39Anna Zaks 229918ac48e315d42fed7fe856a3fce70d9d930cdcdDaniel Dunbarpublic: 230de5277fc555551857602bd7a7e5e616274e2d4a6Jordan Rose AnalyzerOptions() : CXXMemberInliningMode() { 231a4c7a4314ffbe402091695874e93d9b0a79c8099Ted Kremenek AnalysisStoreOpt = RegionStoreModel; 232093333a46c5155ec1bdcb460fe33201338bc3c45Daniel Dunbar AnalysisConstraintsOpt = RangeConstraintsModel; 233093333a46c5155ec1bdcb460fe33201338bc3c45Daniel Dunbar AnalysisDiagOpt = PD_HTML; 234d30952838421ddfb9f7e346b2ba8213889a5f789Anna Zaks AnalysisPurgeOpt = PurgeStmt; 2353f2a55d81983577c85c03f6b9844f51c566c785bAnna Zaks IPAMode = DynamicDispatchBifurcate; 236116f3640daee424dfcdbe55e80be5a67476be4b0Argyrios Kyrtzidis ShowCheckerHelp = 0; 237918ac48e315d42fed7fe856a3fce70d9d930cdcdDaniel Dunbar AnalyzeAll = 0; 238918ac48e315d42fed7fe856a3fce70d9d930cdcdDaniel Dunbar AnalyzerDisplayProgress = 0; 239fc576514d06c46a7cac49500169411d82f38d04bTed Kremenek AnalyzeNestedBlocks = 0; 2400caa2d47b84337e942b3f6652adfafe4ae506cfeTed Kremenek eagerlyAssumeBinOpBifurcation = 0; 241918ac48e315d42fed7fe856a3fce70d9d930cdcdDaniel Dunbar TrimGraph = 0; 2423b8a04004afa46057a9af4afbd086be71d619793Ted Kremenek visualizeExplodedGraphWithGraphViz = 0; 2433b8a04004afa46057a9af4afbd086be71d619793Ted Kremenek visualizeExplodedGraphWithUbiGraph = 0; 2449b823e8e1ccb8a2cb49923bad22a80ca96f41f92Ted Kremenek UnoptimizedCFG = 0; 245255d4d4226b24036ceb11228fbb74286e58620f7Ted Kremenek eagerlyTrimExplodedGraph = 0; 24681fb169f42769e02c7425b23885a261c025fd5e6Anna Zaks PrintStats = 0; 247b47dbcbc12430fdf3e5a5b9f59cdec5480e89e75Anna Zaks NoRetryExhausted = 0; 2488235f9c9c8b3d1737d1c6bd57f7ba3f616b92392Anna Zaks // Cap the stack depth at 4 calls (5 stack frames, base + 4 calls). 2498235f9c9c8b3d1737d1c6bd57f7ba3f616b92392Anna Zaks InlineMaxStackDepth = 5; 2508fbb4e665dda8227f369877c11828e4402c48ebaAnna Zaks InlineMaxFunctionSize = 200; 2513fd5f370a28552976c52e76c3035d79012d78ddaAnna Zaks InliningMode = NoRedundancy; 252918ac48e315d42fed7fe856a3fce70d9d930cdcdDaniel Dunbar } 253e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman}; 25445796b10d11869e86c6b85e24df165410536b313Ted Kremenek 25545796b10d11869e86c6b85e24df165410536b313Ted Kremenektypedef llvm::IntrusiveRefCntPtr<AnalyzerOptions> AnalyzerOptionsRef; 25645796b10d11869e86c6b85e24df165410536b313Ted Kremenek 257e1718aff224e7da84720beb42a39362199ca83f3Eli Friedman} 2585746f1ff6286f5e5bd7fc28e5e2031f18e4676c9Daniel Dunbar 2595746f1ff6286f5e5bd7fc28e5e2031f18e4676c9Daniel Dunbar#endif 260