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) |
The documentation for this class was generated from the following file:
