clang
19.0.0git
|
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. More... | |
Environment | Env |
Model of the state of the program (store and heap). More... | |
Type-erased model of the program at a given program point.
Definition at line 120 of file TypeErasedDataflowAnalysis.h.
|
inline |
Definition at line 127 of file TypeErasedDataflowAnalysis.h.
Referenced by fork().
|
inline |
Definition at line 130 of file TypeErasedDataflowAnalysis.h.
References Env, clang::dataflow::Environment::fork(), Lattice, and TypeErasedDataflowAnalysisState().
Environment clang::dataflow::TypeErasedDataflowAnalysisState::Env |
Model of the state of the program (store and heap).
Definition at line 125 of file TypeErasedDataflowAnalysis.h.
Referenced by clang::dataflow::builtinTransferInitializer(), and fork().
TypeErasedLattice clang::dataflow::TypeErasedDataflowAnalysisState::Lattice |
Type-erased model of a program property.
Definition at line 122 of file TypeErasedDataflowAnalysis.h.
Referenced by fork().