VariableStateTransfer::getLattices

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

Synopses

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

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

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

» more...

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

» more...

Created with MrDocs