DFStateAtReturns

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/analysis/dataflow.h>

class DFStateAtReturns
    : public NodeFact

Base Classes

Name	Description
NodeFact	* NodeFact * A fact associated with a CFG node by * some analysis thatis not evolved as part * of a dataflow analysis (i.e. it should * stay constant throughout the analysis). **

Member Functions

Name	Description
DFStateAtReturns [constructor]	Constructor
copy [virtual]
getLatsAtFuncReturn
getLatsRetVal
mergeReturnStates
str [virtual]

Private Data Members

Name

latsAtFuncReturn

latsRetVal

Created with MrDocs