clang 17.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"

Collaboration diagram for clang::dataflow::TypeErasedDataflowAnalysisState:
Collaboration graph

Public Member Functions

 TypeErasedDataflowAnalysisState (TypeErasedLattice Lattice, Environment Env)

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

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