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

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

Collaboration diagram for clang::dataflow::DataflowAnalysisContext::Options:
Collaboration graph
[legend]

Public Attributes

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

Detailed Description

Definition at line 64 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 69 of file DataflowAnalysisContext.h.

Referenced by clang::dataflow::DataflowAnalysisContext::createStorageLocation(), and clang::dataflow::TransferVisitor::VisitReturnStmt().


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