Skip to content

VariableStateTransfer::getLattices

create three lattices from a binary operation: lhs, rhs, and result lattices

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/simpleAnalyses/VariableStateTransfer.h>

bool
getLattices(
    SgBinaryOp const* sgn,
    LatticeType*& arg1Lat,
    LatticeType*& arg2Lat,
    LatticeType*& resLat);

Parameters

Name

Description

sgn

This class represents the notion of a binary operator.

Created with MrDocs