ROSE
0.9.6a
|
#include <dataflow.h>
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 () |
~MergeAllReturnStates () | |
Public Member Functions inherited from UnstructuredPassIntraAnalysis | |
bool | runAnalysis (const Function &func, NodeState *state) |
Public Member Functions inherited from IntraProceduralAnalysis | |
void | setInterAnalysis (InterProceduralAnalysis *interAnalysis) |
virtual | ~IntraProceduralAnalysis () |
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 |
Private Attributes | |
Analysis * | analysis |
std::vector< Lattice * > | mergedLatsRetStmt |
std::vector< Lattice * > | mergedLatsRetVal |
Additional Inherited Members | |
Public Attributes inherited from Analysis | |
bool(* | filter )(CFGNode cfgn) |
Definition at line 386 of file dataflow.h.
|
inline |
Definition at line 405 of file dataflow.h.
References modified.
|
inline |
Definition at line 408 of file dataflow.h.
References modified.
MergeAllReturnStates::~MergeAllReturnStates | ( | ) |
|
virtual |
Implements UnstructuredPassIntraAnalysis.
|
static |
|
inline |
Definition at line 419 of file dataflow.h.
References mergedLatsRetStmt.
|
inline |
Definition at line 422 of file dataflow.h.
References mergedLatsRetVal.
|
inline |
Definition at line 425 of file dataflow.h.
References modified.
|
private |
Definition at line 389 of file dataflow.h.
|
private |
Definition at line 392 of file dataflow.h.
Referenced by getMergedLatsRetStmt().
|
private |
Definition at line 393 of file dataflow.h.
Referenced by getMergedLatsRetVal().
|
protected |
Definition at line 402 of file dataflow.h.
Referenced by getModified(), and MergeAllReturnStates().