clang::dataflow::DataflowAnalysisContext::Options Struct Reference

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

Public Attributes
std::optional< ContextSensitiveOptions >	ContextSensitiveOpts
	Options for analyzing function bodies when present in the translation unit, or empty to disable context-sensitive analysis.
Logger *	Log = nullptr
	If provided, analysis details will be recorded here.

Detailed Description

Definition at line 71 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 76 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 81 of file DataflowAnalysisContext.h.

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

---

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

• include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h