Description
Definition at line 466 of file dataflow.h.
Inheritance diagram for ContextInsensitiveInterProceduralDataflow:
Collaboration diagram for ContextInsensitiveInterProceduralDataflow:
Public Member Functions | |
| ContextInsensitiveInterProceduralDataflow (IntraProceduralDataflow *intraDataflowAnalysis, SgIncidenceDirectedGraph *graph) | |
| bool | transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo, std::vector< Lattice * > **retState, bool fw) |
| void | runAnalysis () |
| void | visit (const CGFunction *func) |
 Public Member Functions inherited from InterProceduralDataflow | |
| InterProceduralDataflow (IntraProceduralDataflow *intraDataflowAnalysis) | |
| Public Member Functions inherited from Analysis | |
| Analysis (bool(*f)(CFGNode)=defaultFilter) | |
| Public Member Functions inherited from TraverseCallGraphDataflow | |
| TraverseCallGraphDataflow (SgIncidenceDirectedGraph *graph) | |
| void | traverse () |
| void | addToRemaining (const CGFunction *func) |
| Public Member Functions inherited from TraverseCallGraph | |
| TraverseCallGraph (SgIncidenceDirectedGraph *graph) | |
| const CGFunction * | getFunc (SgFunctionDeclaration *decl) |
| const CGFunction * | getFunc (const Function &func) |
Additional Inherited Members | |
| Public Attributes inherited from Analysis | |
| bool(* | filter )(CFGNode cfgn) |
| Public Attributes inherited from TraverseCallGraphDataflow | |
| std::list< const CGFunction * > | remaining |
| Protected Member Functions inherited from InterProceduralAnalysis | |
| InterProceduralAnalysis (IntraProceduralAnalysis *intraAnalysis) | |
| Protected Attributes inherited from InterProceduralAnalysis | |
| IntraProceduralAnalysis * | intraAnalysis |
| Protected Attributes inherited from TraverseCallGraph | |
| SgIncidenceDirectedGraph * | graph |
| std::set< CGFunction > | functions |
| std::map< const CGFunction *, int > | numCallers |
| std::set< const CGFunction * > | noPred |
The documentation for this class was generated from the following file:
