struct TypeErasedDataflowAnalysisState

Declaration

struct TypeErasedDataflowAnalysisState { /* full declaration omitted */ };

Description

Type-erased model of the program at a given program point.

Declared at: clang/include/clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h:105

Member Variables

public clang::dataflow::TypeErasedLattice Lattice
Type-erased model of a program property.
public clang::dataflow::Environment Env
Model of the state of the program (store and heap).

Method Overview

Methods

ΒΆTypeErasedDataflowAnalysisState(
    clang::dataflow::TypeErasedLattice Lattice,
    clang::dataflow::Environment Env)

Declared at: clang/include/clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h:112

Parameters

clang::dataflow::TypeErasedLattice Lattice
clang::dataflow::Environment Env