clang 19.0.0git
Public Member Functions | Public Attributes | List of all members
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 

Definition at line 127 of file TypeErasedDataflowAnalysis.h.

Member Function Documentation

◆ fork()

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

Definition at line 130 of file TypeErasedDataflowAnalysis.h.

References Env, clang::dataflow::Environment::fork(), and Lattice.

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(), and clang::dataflow::runTypeErasedDataflowAnalysis().

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