clang  7.0.0svn
AnalyzerOptions.h
Go to the documentation of this file.
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 defines various options for the static analyzer that are set
11 // by the frontend and are consulted throughout the analyzer.
12 //
13 //===----------------------------------------------------------------------===//
14 
15 #ifndef LLVM_CLANG_STATICANALYZER_CORE_ANALYZEROPTIONS_H
16 #define LLVM_CLANG_STATICANALYZER_CORE_ANALYZEROPTIONS_H
17 
18 #include "clang/Basic/LLVM.h"
19 #include "llvm/ADT/IntrusiveRefCntPtr.h"
20 #include "llvm/ADT/Optional.h"
21 #include "llvm/ADT/StringMap.h"
22 #include <string>
23 #include <vector>
24 
25 namespace clang {
26 class ASTConsumer;
27 class DiagnosticsEngine;
28 class Preprocessor;
29 class LangOptions;
30 
31 namespace ento {
32 class CheckerBase;
33 }
34 
35 /// Analysis - Set of available source code analyses.
36 enum Analyses {
37 #define ANALYSIS(NAME, CMDFLAG, DESC, SCOPE) NAME,
38 #include "clang/StaticAnalyzer/Core/Analyses.def"
40 };
41 
42 /// AnalysisStores - Set of available analysis store models.
44 #define ANALYSIS_STORE(NAME, CMDFLAG, DESC, CREATFN) NAME##Model,
45 #include "clang/StaticAnalyzer/Core/Analyses.def"
47 };
48 
49 /// AnalysisConstraints - Set of available constraint models.
51 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) NAME##Model,
52 #include "clang/StaticAnalyzer/Core/Analyses.def"
54 };
55 
56 /// AnalysisDiagClients - Set of available diagnostic clients for rendering
57 /// analysis results.
59 #define ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATFN) PD_##NAME,
60 #include "clang/StaticAnalyzer/Core/Analyses.def"
63 };
64 
65 /// AnalysisPurgeModes - Set of available strategies for dead symbol removal.
67 #define ANALYSIS_PURGE(NAME, CMDFLAG, DESC) NAME,
68 #include "clang/StaticAnalyzer/Core/Analyses.def"
70 };
71 
72 /// AnalysisInlineFunctionSelection - Set of inlining function selection heuristics.
74 #define ANALYSIS_INLINING_MODE(NAME, CMDFLAG, DESC) NAME,
75 #include "clang/StaticAnalyzer/Core/Analyses.def"
77 };
78 
79 /// \brief Describes the different kinds of C++ member functions which can be
80 /// considered for inlining by the analyzer.
81 ///
82 /// These options are cumulative; enabling one kind of member function will
83 /// enable all kinds with lower enum values.
85  // Uninitialized = 0,
86 
87  /// A dummy mode in which no C++ inlining is enabled.
88  CIMK_None = 1,
89 
90  /// Refers to regular member function and operator calls.
92 
93  /// Refers to constructors (implicit or explicit).
94  ///
95  /// Note that a constructor will not be inlined if the corresponding
96  /// destructor is non-trivial.
98 
99  /// Refers to destructors (implicit or explicit).
101 };
102 
103 /// \brief Describes the different modes of inter-procedural analysis.
104 enum IPAKind {
106 
107  /// Perform only intra-procedural analysis.
109 
110  /// Inline C functions and blocks when their definitions are available.
112 
113  /// Inline callees(C, C++, ObjC) when their definitions are available.
115 
116  /// Enable inlining of dynamically dispatched methods.
118 
119  /// Enable inlining of dynamically dispatched methods, bifurcate paths when
120  /// exact type info is unavailable.
122 };
123 
124 class AnalyzerOptions : public RefCountedBase<AnalyzerOptions> {
125 public:
126  typedef llvm::StringMap<std::string> ConfigTable;
127 
128  static std::vector<StringRef>
129  getRegisteredCheckers(bool IncludeExperimental = false);
130 
131  /// \brief Pair of checker name and enable/disable.
132  std::vector<std::pair<std::string, bool> > CheckersControlList;
133 
134  /// \brief A key-value table of use-specified configuration values.
135  ConfigTable Config;
140 
142 
143  /// Store full compiler invocation for reproducible instructions in the
144  /// generated report.
146 
147  /// \brief The maximum number of times the analyzer visits a block.
149 
150 
151  /// \brief Disable all analyzer checks.
152  ///
153  /// This flag allows one to disable analyzer checks on the code processed by
154  /// the given analysis consumer. Note, the code will get parsed and the
155  /// command-line options will get checked.
156  unsigned DisableAllChecks : 1;
157 
158  unsigned ShowCheckerHelp : 1;
160  unsigned AnalyzeAll : 1;
162  unsigned AnalyzeNestedBlocks : 1;
163 
164  /// \brief The flag regulates if we should eagerly assume evaluations of
165  /// conditionals, thus, bifurcating the path.
166  ///
167  /// This flag indicates how the engine should handle expressions such as: 'x =
168  /// (y != 0)'. When this flag is true then the subexpression 'y != 0' will be
169  /// eagerly assumed to be true or false, thus evaluating it to the integers 0
170  /// or 1 respectively. The upside is that this can increase analysis
171  /// precision until we have a better way to lazily evaluate such logic. The
172  /// downside is that it eagerly bifurcates paths.
174 
175  unsigned TrimGraph : 1;
178  unsigned UnoptimizedCFG : 1;
179  unsigned PrintStats : 1;
180 
181  /// \brief Do not re-analyze paths leading to exhausted nodes with a different
182  /// strategy. We get better code coverage when retry is enabled.
183  unsigned NoRetryExhausted : 1;
184 
185  /// \brief The inlining stack depth limit.
187 
188  /// \brief The mode of function selection used during inlining.
190 
192  DFS,
193  BFS,
194  UnexploredFirst,
195  BFSBlockDFSContents,
196  NotSet
197  };
198 
199 private:
200 
201  ExplorationStrategyKind ExplorationStrategy;
202 
203  /// \brief Describes the kinds for high-level analyzer mode.
204  enum UserModeKind {
205  UMK_NotSet = 0,
206  /// Perform shallow but fast analyzes.
207  UMK_Shallow = 1,
208  /// Perform deep analyzes.
209  UMK_Deep = 2
210  };
211 
212  /// Controls the high-level analyzer mode, which influences the default
213  /// settings for some of the lower-level config options (such as IPAMode).
214  /// \sa getUserMode
215  UserModeKind UserMode;
216 
217  /// Controls the mode of inter-procedural analysis.
218  IPAKind IPAMode;
219 
220  /// Controls which C++ member functions will be considered for inlining.
221  CXXInlineableMemberKind CXXMemberInliningMode;
222 
223  /// \sa includeImplicitDtorsInCFG
224  Optional<bool> IncludeImplicitDtorsInCFG;
225 
226  /// \sa includeTemporaryDtorsInCFG
227  Optional<bool> IncludeTemporaryDtorsInCFG;
228 
229  /// \sa IncludeLifetimeInCFG
230  Optional<bool> IncludeLifetimeInCFG;
231 
232  /// \sa IncludeLoopExitInCFG
233  Optional<bool> IncludeLoopExitInCFG;
234 
235  /// \sa IncludeRichConstructorsInCFG
236  Optional<bool> IncludeRichConstructorsInCFG;
237 
238  /// \sa mayInlineCXXStandardLibrary
239  Optional<bool> InlineCXXStandardLibrary;
240 
241  /// \sa mayInlineTemplateFunctions
242  Optional<bool> InlineTemplateFunctions;
243 
244  /// \sa mayInlineCXXAllocator
245  Optional<bool> InlineCXXAllocator;
246 
247  /// \sa mayInlineCXXContainerMethods
248  Optional<bool> InlineCXXContainerMethods;
249 
250  /// \sa mayInlineCXXSharedPtrDtor
251  Optional<bool> InlineCXXSharedPtrDtor;
252 
253  /// \sa mayInlineCXXTemporaryDtors
254  Optional<bool> InlineCXXTemporaryDtors;
255 
256  /// \sa mayInlineObjCMethod
257  Optional<bool> ObjCInliningMode;
258 
259  // Cache of the "ipa-always-inline-size" setting.
260  // \sa getAlwaysInlineSize
261  Optional<unsigned> AlwaysInlineSize;
262 
263  /// \sa shouldSuppressNullReturnPaths
264  Optional<bool> SuppressNullReturnPaths;
265 
266  // \sa getMaxInlinableSize
267  Optional<unsigned> MaxInlinableSize;
268 
269  /// \sa shouldAvoidSuppressingNullArgumentPaths
270  Optional<bool> AvoidSuppressingNullArgumentPaths;
271 
272  /// \sa shouldSuppressInlinedDefensiveChecks
273  Optional<bool> SuppressInlinedDefensiveChecks;
274 
275  /// \sa shouldSuppressFromCXXStandardLibrary
276  Optional<bool> SuppressFromCXXStandardLibrary;
277 
278  /// \sa reportIssuesInMainSourceFile
279  Optional<bool> ReportIssuesInMainSourceFile;
280 
281  /// \sa StableReportFilename
282  Optional<bool> StableReportFilename;
283 
284  Optional<bool> SerializeStats;
285 
286  /// \sa getGraphTrimInterval
287  Optional<unsigned> GraphTrimInterval;
288 
289  /// \sa getMaxTimesInlineLarge
290  Optional<unsigned> MaxTimesInlineLarge;
291 
292  /// \sa getMinCFGSizeTreatFunctionsAsLarge
293  Optional<unsigned> MinCFGSizeTreatFunctionsAsLarge;
294 
295  /// \sa getMaxNodesPerTopLevelFunction
296  Optional<unsigned> MaxNodesPerTopLevelFunction;
297 
298  /// \sa shouldInlineLambdas
299  Optional<bool> InlineLambdas;
300 
301  /// \sa shouldWidenLoops
302  Optional<bool> WidenLoops;
303 
304  /// \sa shouldUnrollLoops
305  Optional<bool> UnrollLoops;
306 
307  /// \sa shouldDisplayNotesAsEvents
308  Optional<bool> DisplayNotesAsEvents;
309 
310  /// A helper function that retrieves option for a given full-qualified
311  /// checker name.
312  /// Options for checkers can be specified via 'analyzer-config' command-line
313  /// option.
314  /// Example:
315  /// @code-analyzer-config unix.Malloc:OptionName=CheckerOptionValue @endcode
316  /// or @code-analyzer-config unix:OptionName=GroupOptionValue @endcode
317  /// for groups of checkers.
318  /// @param [in] CheckerName Full-qualified checker name, like
319  /// alpha.unix.StreamChecker.
320  /// @param [in] OptionName Name of the option to get.
321  /// @param [in] Default Default value if no option is specified.
322  /// @param [in] SearchInParents If set to true and the searched option was not
323  /// specified for the given checker the options for the parent packages will
324  /// be searched as well. The inner packages take precedence over the outer
325  /// ones.
326  /// @retval CheckerOptionValue An option for a checker if it was specified.
327  /// @retval GroupOptionValue An option for group if it was specified and no
328  /// checker-specific options were found. The closer group to checker,
329  /// the more priority it has. For example, @c coregroup.subgroup has more
330  /// priority than @c coregroup for @c coregroup.subgroup.CheckerName checker.
331  /// @retval Default If nor checker option, nor group option was found.
332  StringRef getCheckerOption(StringRef CheckerName, StringRef OptionName,
333  StringRef Default,
334  bool SearchInParents = false);
335 
336 public:
337  /// Interprets an option's string value as a boolean. The "true" string is
338  /// interpreted as true and the "false" string is interpreted as false.
339  ///
340  /// If an option value is not provided, returns the given \p DefaultVal.
341  /// @param [in] Name Name for option to retrieve.
342  /// @param [in] DefaultVal Default value returned if no such option was
343  /// specified.
344  /// @param [in] C The optional checker parameter that can be used to restrict
345  /// the search to the options of this particular checker (and its parents
346  /// dependening on search mode).
347  /// @param [in] SearchInParents If set to true and the searched option was not
348  /// specified for the given checker the options for the parent packages will
349  /// be searched as well. The inner packages take precedence over the outer
350  /// ones.
351  bool getBooleanOption(StringRef Name, bool DefaultVal,
352  const ento::CheckerBase *C = nullptr,
353  bool SearchInParents = false);
354 
355  /// Variant that accepts a Optional value to cache the result.
356  ///
357  /// @param [in,out] V Return value storage, returned if parameter contains
358  /// an existing valid option, else it is used to store a return value
359  /// @param [in] Name Name for option to retrieve.
360  /// @param [in] DefaultVal Default value returned if no such option was
361  /// specified.
362  /// @param [in] C The optional checker parameter that can be used to restrict
363  /// the search to the options of this particular checker (and its parents
364  /// dependening on search mode).
365  /// @param [in] SearchInParents If set to true and the searched option was not
366  /// specified for the given checker the options for the parent packages will
367  /// be searched as well. The inner packages take precedence over the outer
368  /// ones.
369  bool getBooleanOption(Optional<bool> &V, StringRef Name, bool DefaultVal,
370  const ento::CheckerBase *C = nullptr,
371  bool SearchInParents = false);
372 
373  /// Interprets an option's string value as an integer value.
374  ///
375  /// If an option value is not provided, returns the given \p DefaultVal.
376  /// @param [in] Name Name for option to retrieve.
377  /// @param [in] DefaultVal Default value returned if no such option was
378  /// specified.
379  /// @param [in] C The optional checker parameter that can be used to restrict
380  /// the search to the options of this particular checker (and its parents
381  /// dependening on search mode).
382  /// @param [in] SearchInParents If set to true and the searched option was not
383  /// specified for the given checker the options for the parent packages will
384  /// be searched as well. The inner packages take precedence over the outer
385  /// ones.
386  int getOptionAsInteger(StringRef Name, int DefaultVal,
387  const ento::CheckerBase *C = nullptr,
388  bool SearchInParents = false);
389 
390  /// Query an option's string value.
391  ///
392  /// If an option value is not provided, returns the given \p DefaultVal.
393  /// @param [in] Name Name for option to retrieve.
394  /// @param [in] DefaultVal Default value returned if no such option was
395  /// specified.
396  /// @param [in] C The optional checker parameter that can be used to restrict
397  /// the search to the options of this particular checker (and its parents
398  /// dependening on search mode).
399  /// @param [in] SearchInParents If set to true and the searched option was not
400  /// specified for the given checker the options for the parent packages will
401  /// be searched as well. The inner packages take precedence over the outer
402  /// ones.
403  StringRef getOptionAsString(StringRef Name, StringRef DefaultVal,
404  const ento::CheckerBase *C = nullptr,
405  bool SearchInParents = false);
406 
407  /// \brief Retrieves and sets the UserMode. This is a high-level option,
408  /// which is used to set other low-level options. It is not accessible
409  /// outside of AnalyzerOptions.
410  UserModeKind getUserMode();
411 
412  ExplorationStrategyKind getExplorationStrategy();
413 
414  /// \brief Returns the inter-procedural analysis mode.
415  IPAKind getIPAMode();
416 
417  /// Returns the option controlling which C++ member functions will be
418  /// considered for inlining.
419  ///
420  /// This is controlled by the 'c++-inlining' config option.
421  ///
422  /// \sa CXXMemberInliningMode
423  bool mayInlineCXXMemberFunction(CXXInlineableMemberKind K);
424 
425  /// Returns true if ObjectiveC inlining is enabled, false otherwise.
426  bool mayInlineObjCMethod();
427 
428  /// Returns whether or not the destructors for C++ temporary objects should
429  /// be included in the CFG.
430  ///
431  /// This is controlled by the 'cfg-temporary-dtors' config option, which
432  /// accepts the values "true" and "false".
433  bool includeTemporaryDtorsInCFG();
434 
435  /// Returns whether or not implicit destructors for C++ objects should
436  /// be included in the CFG.
437  ///
438  /// This is controlled by the 'cfg-implicit-dtors' config option, which
439  /// accepts the values "true" and "false".
440  bool includeImplicitDtorsInCFG();
441 
442  /// Returns whether or not end-of-lifetime information should be included in
443  /// the CFG.
444  ///
445  /// This is controlled by the 'cfg-lifetime' config option, which accepts
446  /// the values "true" and "false".
447  bool includeLifetimeInCFG();
448 
449  /// Returns whether or not the end of the loop information should be included
450  /// in the CFG.
451  ///
452  /// This is controlled by the 'cfg-loopexit' config option, which accepts
453  /// the values "true" and "false".
454  bool includeLoopExitInCFG();
455 
456  /// Returns whether or not construction site information should be included
457  /// in the CFG C++ constructor elements.
458  ///
459  /// This is controlled by the 'cfg-rich-constructors' config options,
460  /// which accepts the values "true" and "false".
461  bool includeRichConstructorsInCFG();
462 
463  /// Returns whether or not C++ standard library functions may be considered
464  /// for inlining.
465  ///
466  /// This is controlled by the 'c++-stdlib-inlining' config option, which
467  /// accepts the values "true" and "false".
468  bool mayInlineCXXStandardLibrary();
469 
470  /// Returns whether or not templated functions may be considered for inlining.
471  ///
472  /// This is controlled by the 'c++-template-inlining' config option, which
473  /// accepts the values "true" and "false".
474  bool mayInlineTemplateFunctions();
475 
476  /// Returns whether or not allocator call may be considered for inlining.
477  ///
478  /// This is controlled by the 'c++-allocator-inlining' config option, which
479  /// accepts the values "true" and "false".
480  bool mayInlineCXXAllocator();
481 
482  /// Returns whether or not methods of C++ container objects may be considered
483  /// for inlining.
484  ///
485  /// This is controlled by the 'c++-container-inlining' config option, which
486  /// accepts the values "true" and "false".
487  bool mayInlineCXXContainerMethods();
488 
489  /// Returns whether or not the destructor of C++ 'shared_ptr' may be
490  /// considered for inlining.
491  ///
492  /// This covers std::shared_ptr, std::tr1::shared_ptr, and boost::shared_ptr,
493  /// and indeed any destructor named "~shared_ptr".
494  ///
495  /// This is controlled by the 'c++-shared_ptr-inlining' config option, which
496  /// accepts the values "true" and "false".
497  bool mayInlineCXXSharedPtrDtor();
498 
499  /// Returns true if C++ temporary destructors should be inlined during
500  /// analysis.
501  ///
502  /// If temporary destructors are disabled in the CFG via the
503  /// 'cfg-temporary-dtors' option, temporary destructors would not be
504  /// inlined anyway.
505  ///
506  /// This is controlled by the 'c++-temp-dtor-inlining' config option, which
507  /// accepts the values "true" and "false".
508  bool mayInlineCXXTemporaryDtors();
509 
510  /// Returns whether or not paths that go through null returns should be
511  /// suppressed.
512  ///
513  /// This is a heuristic for avoiding bug reports with paths that go through
514  /// inlined functions that are more defensive than their callers.
515  ///
516  /// This is controlled by the 'suppress-null-return-paths' config option,
517  /// which accepts the values "true" and "false".
518  bool shouldSuppressNullReturnPaths();
519 
520  /// Returns whether a bug report should \em not be suppressed if its path
521  /// includes a call with a null argument, even if that call has a null return.
522  ///
523  /// This option has no effect when #shouldSuppressNullReturnPaths() is false.
524  ///
525  /// This is a counter-heuristic to avoid false negatives.
526  ///
527  /// This is controlled by the 'avoid-suppressing-null-argument-paths' config
528  /// option, which accepts the values "true" and "false".
529  bool shouldAvoidSuppressingNullArgumentPaths();
530 
531  /// Returns whether or not diagnostics containing inlined defensive NULL
532  /// checks should be suppressed.
533  ///
534  /// This is controlled by the 'suppress-inlined-defensive-checks' config
535  /// option, which accepts the values "true" and "false".
536  bool shouldSuppressInlinedDefensiveChecks();
537 
538  /// Returns whether or not diagnostics reported within the C++ standard
539  /// library should be suppressed.
540  ///
541  /// This is controlled by the 'suppress-c++-stdlib' config option,
542  /// which accepts the values "true" and "false".
543  bool shouldSuppressFromCXXStandardLibrary();
544 
545  /// Returns whether or not the diagnostic report should be always reported
546  /// in the main source file and not the headers.
547  ///
548  /// This is controlled by the 'report-in-main-source-file' config option,
549  /// which accepts the values "true" and "false".
550  bool shouldReportIssuesInMainSourceFile();
551 
552  /// Returns whether or not the report filename should be random or not.
553  ///
554  /// This is controlled by the 'stable-report-filename' config option,
555  /// which accepts the values "true" and "false". Default = false
556  bool shouldWriteStableReportFilename();
557 
558  /// \return Whether the analyzer should
559  /// serialize statistics to plist output.
560  /// Statistics would be serialized in JSON format inside the main dictionary
561  /// under the \c statistics key.
562  /// Available only if compiled in assert mode or with LLVM statistics
563  /// explicitly enabled.
564  bool shouldSerializeStats();
565 
566  /// Returns whether irrelevant parts of a bug report path should be pruned
567  /// out of the final output.
568  ///
569  /// This is controlled by the 'prune-paths' config option, which accepts the
570  /// values "true" and "false".
571  bool shouldPrunePaths();
572 
573  /// Returns true if 'static' initializers should be in conditional logic
574  /// in the CFG.
575  bool shouldConditionalizeStaticInitializers();
576 
577  // Returns the size of the functions (in basic blocks), which should be
578  // considered to be small enough to always inline.
579  //
580  // This is controlled by "ipa-always-inline-size" analyzer-config option.
581  unsigned getAlwaysInlineSize();
582 
583  // Returns the bound on the number of basic blocks in an inlined function
584  // (50 by default).
585  //
586  // This is controlled by "-analyzer-config max-inlinable-size" option.
587  unsigned getMaxInlinableSize();
588 
589  /// Returns true if the analyzer engine should synthesize fake bodies
590  /// for well-known functions.
591  bool shouldSynthesizeBodies();
592 
593  /// Returns how often nodes in the ExplodedGraph should be recycled to save
594  /// memory.
595  ///
596  /// This is controlled by the 'graph-trim-interval' config option. To disable
597  /// node reclamation, set the option to "0".
598  unsigned getGraphTrimInterval();
599 
600  /// Returns the maximum times a large function could be inlined.
601  ///
602  /// This is controlled by the 'max-times-inline-large' config option.
603  unsigned getMaxTimesInlineLarge();
604 
605  /// Returns the number of basic blocks a function needs to have to be
606  /// considered large for the 'max-times-inline-large' config option.
607  ///
608  /// This is controlled by the 'min-cfg-size-treat-functions-as-large' config
609  /// option.
610  unsigned getMinCFGSizeTreatFunctionsAsLarge();
611 
612  /// Returns the maximum number of nodes the analyzer can generate while
613  /// exploring a top level function (for each exploded graph).
614  /// 150000 is default; 0 means no limit.
615  ///
616  /// This is controlled by the 'max-nodes' config option.
617  unsigned getMaxNodesPerTopLevelFunction();
618 
619  /// Returns true if lambdas should be inlined. Otherwise a sink node will be
620  /// generated each time a LambdaExpr is visited.
621  bool shouldInlineLambdas();
622 
623  /// Returns true if the analysis should try to widen loops.
624  /// This is controlled by the 'widen-loops' config option.
625  bool shouldWidenLoops();
626 
627  /// Returns true if the analysis should try to unroll loops with known bounds.
628  /// This is controlled by the 'unroll-loops' config option.
629  bool shouldUnrollLoops();
630 
631  /// Returns true if the bug reporter should transparently treat extra note
632  /// diagnostic pieces as event diagnostic pieces. Useful when the diagnostic
633  /// consumer doesn't support the extra note pieces.
634  ///
635  /// This is controlled by the 'extra-notes-as-events' option, which defaults
636  /// to false when unset.
637  bool shouldDisplayNotesAsEvents();
638 
639 public:
641  AnalysisStoreOpt(RegionStoreModel),
642  AnalysisConstraintsOpt(RangeConstraintsModel),
643  AnalysisDiagOpt(PD_HTML),
644  AnalysisPurgeOpt(PurgeStmt),
645  DisableAllChecks(0),
646  ShowCheckerHelp(0),
647  ShowEnabledCheckerList(0),
648  AnalyzeAll(0),
649  AnalyzerDisplayProgress(0),
650  AnalyzeNestedBlocks(0),
651  eagerlyAssumeBinOpBifurcation(0),
652  TrimGraph(0),
653  visualizeExplodedGraphWithGraphViz(0),
654  visualizeExplodedGraphWithUbiGraph(0),
655  UnoptimizedCFG(0),
656  PrintStats(0),
657  NoRetryExhausted(0),
658  // Cap the stack depth at 4 calls (5 stack frames, base + 4 calls).
659  InlineMaxStackDepth(5),
660  InliningMode(NoRedundancy),
661  ExplorationStrategy(ExplorationStrategyKind::NotSet),
662  UserMode(UMK_NotSet),
663  IPAMode(IPAK_NotSet),
664  CXXMemberInliningMode() {}
665 
666 };
667 
669 
670 }
671 
672 #endif
Inline C functions and blocks when their definitions are available.
unsigned InlineMaxStackDepth
The inlining stack depth limit.
IPAKind
Describes the different modes of inter-procedural analysis.
unsigned visualizeExplodedGraphWithGraphViz
Perform only intra-procedural analysis.
A dummy mode in which no C++ inlining is enabled.
Inline callees(C, C++, ObjC) when their definitions are available.
unsigned eagerlyAssumeBinOpBifurcation
The flag regulates if we should eagerly assume evaluations of conditionals, thus, bifurcating the pat...
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified...
std::string FullCompilerInvocation
Store full compiler invocation for reproducible instructions in the generated report.
std::vector< std::pair< std::string, bool > > CheckersControlList
Pair of checker name and enable/disable.
AnalysisStores
AnalysisStores - Set of available analysis store models.
AnalysisDiagClients AnalysisDiagOpt
AnalysisInliningMode InliningMode
The mode of function selection used during inlining.
Refers to regular member function and operator calls.
AnalysisInliningMode
AnalysisInlineFunctionSelection - Set of inlining function selection heuristics.
Refers to constructors (implicit or explicit).
Enable inlining of dynamically dispatched methods.
AnalysisConstraints
AnalysisConstraints - Set of available constraint models.
AnalysisStores AnalysisStoreOpt
ConfigTable Config
A key-value table of use-specified configuration values.
unsigned visualizeExplodedGraphWithUbiGraph
Refers to destructors (implicit or explicit).
unsigned maxBlockVisitOnPath
The maximum number of times the analyzer visits a block.
unsigned DisableAllChecks
Disable all analyzer checks.
Dataflow Directional Tag Classes.
AnalysisConstraints AnalysisConstraintsOpt
std::string AnalyzeSpecificFunction
AnalysisPurgeMode
AnalysisPurgeModes - Set of available strategies for dead symbol removal.
IntrusiveRefCntPtr< AnalyzerOptions > AnalyzerOptionsRef
unsigned NoRetryExhausted
Do not re-analyze paths leading to exhausted nodes with a different strategy.
Analyses
Analysis - Set of available source code analyses.
llvm::StringMap< std::string > ConfigTable
CXXInlineableMemberKind
Describes the different kinds of C++ member functions which can be considered for inlining by the ana...
AnalysisPurgeMode AnalysisPurgeOpt
Enable inlining of dynamically dispatched methods, bifurcate paths when exact type info is unavailabl...
AnalysisDiagClients
AnalysisDiagClients - Set of available diagnostic clients for rendering analysis results.