clang
15.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) | |
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 87 of file TypeErasedDataflowAnalysis.h.
|
inline |
Definition at line 94 of file TypeErasedDataflowAnalysis.h.
Environment clang::dataflow::TypeErasedDataflowAnalysisState::Env |
Model of the state of the program (store and heap).
Definition at line 92 of file TypeErasedDataflowAnalysis.h.
Referenced by clang::dataflow::computeBlockInputState(), and clang::dataflow::runTypeErasedDataflowAnalysis().
TypeErasedLattice clang::dataflow::TypeErasedDataflowAnalysisState::Lattice |
Type-erased model of a program property.
Definition at line 89 of file TypeErasedDataflowAnalysis.h.
Referenced by clang::dataflow::computeBlockInputState(), and clang::dataflow::runTypeErasedDataflowAnalysis().