Description
Definition at line 436 of file dataflow.h.
Inheritance diagram for DFStateAtReturns:
Collaboration diagram for DFStateAtReturns:
Public Member Functions | |
| DFStateAtReturns (std::vector< Lattice * > &latsAtFuncReturn, std::vector< Lattice * > &latsRetVal) | |
| NodeFact * | copy () const |
| bool | mergeReturnStates (const Function &func, FunctionState *fState, IntraProceduralDataflow *intraAnalysis) |
| std::vector< Lattice * > & | getLatsAtFuncReturn () |
| std::vector< Lattice * > & | getLatsRetVal () |
| std::string | str (std::string indent) |
The documentation for this class was generated from the following file:
