clang 22.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. | |
Environment | Env |
Model of the state of the program (store and heap). |
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, 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(), clang::dataflow::builtinTransferStatement(), fork(), clang::dataflow::runTypeErasedDataflowAnalysis(), and TypeErasedDataflowAnalysisState().
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().