Description

Definition at line 466 of file dataflow.h.

Inheritance diagram for ContextInsensitiveInterProceduralDataflow:

[legend]

Collaboration diagram for ContextInsensitiveInterProceduralDataflow:

[legend]

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

Member Function Documentation

bool ContextInsensitiveInterProceduralDataflow::transfer	(	const Function &	func,
		const DataflowNode &	n,
		NodeState &	state,
		const std::vector< Lattice * > &	dfInfo,
		std::vector< Lattice * > **	retState,
		bool	fw
	)

virtual

void ContextInsensitiveInterProceduralDataflow::runAnalysis ( )

virtual

void ContextInsensitiveInterProceduralDataflow::visit ( const CGFunction * func )

virtual

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