clang 19.0.0git
Public Attributes | List of all members
clang::dataflow::DataflowAnalysisContext::Options Struct Reference

#include "clang/Analysis/FlowSensitive/DataflowAnalysisContext.h"

Public Attributes

std::optional< ContextSensitiveOptionsContextSensitiveOpts
 Options for analyzing function bodies when present in the translation unit, or empty to disable context-sensitive analysis.
 
LoggerLog = nullptr
 If provided, analysis details will be recorded here.
 

Detailed Description

Definition at line 49 of file DataflowAnalysisContext.h.

Member Data Documentation

◆ ContextSensitiveOpts

std::optional<ContextSensitiveOptions> clang::dataflow::DataflowAnalysisContext::Options::ContextSensitiveOpts

Options for analyzing function bodies when present in the translation unit, or empty to disable context-sensitive analysis.

Note that this is fundamentally limited: some constructs, such as recursion, are explicitly unsupported.

Definition at line 54 of file DataflowAnalysisContext.h.

Referenced by clang::dataflow::DataflowAnalysisContext::getModeledFields().

◆ Log

Logger* clang::dataflow::DataflowAnalysisContext::Options::Log = nullptr

If provided, analysis details will be recorded here.

(This is always non-null within an AnalysisContext, the framework provides a fallback no-op logger).

Definition at line 59 of file DataflowAnalysisContext.h.


The documentation for this struct was generated from the following file: