MergeAllReturnStates Class Reference

Description

Definition at line 389 of file dataflow.h.

Inheritance diagram for MergeAllReturnStates:

Collaboration diagram for MergeAllReturnStates:

Public Member Functions
	MergeAllReturnStates (Analysis *analysis)
	MergeAllReturnStates (Analysis *analysis, const std::vector< Lattice * > &mergedLatsRetStmt, const std::vector< Lattice * > &mergedLatsRetVal)
void	visit (const Function &func, const DataflowNode &n, NodeState &state)
std::vector< Lattice * > &	getMergedLatsRetStmt ()
std::vector< Lattice * > &	getMergedLatsRetVal ()
bool	getModified ()
Public Member Functions inherited from UnstructuredPassIntraAnalysis
bool	runAnalysis (const Function &func, NodeState *state)
Public Member Functions inherited from IntraProceduralAnalysis
void	setInterAnalysis (InterProceduralAnalysis *interAnalysis)
Public Member Functions inherited from Analysis
	Analysis (bool(*f)(CFGNode)=defaultFilter)

Static Public Member Functions
static bool	mergeLats (std::vector< Lattice * > &mergedLat, const std::vector< Lattice * > &lats)

Protected Attributes
bool	modified
Protected Attributes inherited from IntraProceduralAnalysis
InterProceduralAnalysis *	interAnalysis

Additional Inherited Members
Public Attributes inherited from Analysis
bool(*	filter )(CFGNode cfgn)

Constructor & Destructor Documentation

MergeAllReturnStates() [1/2]

MergeAllReturnStates::MergeAllReturnStates ( Analysis *  analysis )

inline

Definition at line 408 of file dataflow.h.

MergeAllReturnStates() [2/2]

MergeAllReturnStates::MergeAllReturnStates ( Analysis *  analysis, const std::vector< Lattice * > &  mergedLatsRetStmt, const std::vector< Lattice * > &  mergedLatsRetVal  )

inline

Definition at line 411 of file dataflow.h.

Member Function Documentation

visit()

void MergeAllReturnStates::visit ( const Function &  func, const DataflowNode &  n, NodeState &  state  )

virtual

Implements UnstructuredPassIntraAnalysis.

getMergedLatsRetStmt()

std::vector< Lattice * > & MergeAllReturnStates::getMergedLatsRetStmt ( )

inline

Definition at line 422 of file dataflow.h.

getMergedLatsRetVal()

std::vector< Lattice * > & MergeAllReturnStates::getMergedLatsRetVal ( )

inline

Definition at line 425 of file dataflow.h.

getModified()

bool MergeAllReturnStates::getModified ( )

inline

Definition at line 428 of file dataflow.h.

Member Data Documentation

modified

bool MergeAllReturnStates::modified

protected

Definition at line 405 of file dataflow.h.

---

The documentation for this class was generated from the following file:

• dataflow.h