clang 22.0.0git
clang::dataflow::TypeErasedDataflowAnalysisState Struct Reference

Type-erased model of the program at a given program point. More...

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

Public Member Functions

 TypeErasedDataflowAnalysisState (TypeErasedLattice Lattice, Environment Env)
TypeErasedDataflowAnalysisState fork () const

Public Attributes

TypeErasedLattice Lattice
 Type-erased model of a program property.
Environment Env
 Model of the state of the program (store and heap).

Detailed Description

Type-erased model of the program at a given program point.

Definition at line 120 of file TypeErasedDataflowAnalysis.h.

Constructor & Destructor Documentation

◆ TypeErasedDataflowAnalysisState()

clang::dataflow::TypeErasedDataflowAnalysisState::TypeErasedDataflowAnalysisState ( TypeErasedLattice Lattice,
Environment Env )
inline

Definition at line 127 of file TypeErasedDataflowAnalysis.h.

References Env, and Lattice.

Referenced by fork().

Member Function Documentation

◆ fork()

TypeErasedDataflowAnalysisState clang::dataflow::TypeErasedDataflowAnalysisState::fork ( ) const
inline

Definition at line 130 of file TypeErasedDataflowAnalysis.h.

References Env, Lattice, and TypeErasedDataflowAnalysisState().

Member Data Documentation

◆ Env

Environment clang::dataflow::TypeErasedDataflowAnalysisState::Env

◆ Lattice

TypeErasedLattice clang::dataflow::TypeErasedDataflowAnalysisState::Lattice

Type-erased model of a program property.

Definition at line 122 of file TypeErasedDataflowAnalysis.h.

Referenced by fork(), clang::dataflow::runTypeErasedDataflowAnalysis(), and TypeErasedDataflowAnalysisState().


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