struct TransferState

Declaration

template <typename LatticeT>
struct TransferState { /* full declaration omitted */ };

Description

A common form of state shared between the cases of a transfer function.

Declared at: clang/include/clang/Analysis/FlowSensitive/MatchSwitch.h:38

Templates

LatticeT

Member Variables

public LatticeT& Lattice
Current lattice element.
public clang::dataflow::Environment& Env

Method Overview

Methods

ΒΆTransferState<LatticeT>(
    LatticeT& Lattice,
    clang::dataflow::Environment& Env)

Declared at: clang/include/clang/Analysis/FlowSensitive/MatchSwitch.h:39

Parameters

LatticeT& Lattice
clang::dataflow::Environment& Env