dominatorAnalysis.h File Reference

#include "genericDataflowCommon.h"
#include "VirtualCFGIterator.h"
#include "cfgUtils.h"
#include "CallGraphTraverse.h"
#include "analysisCommon.h"
#include "analysis.h"
#include "dataflow.h"
#include "latticeFull.h"
#include "printAnalysisStates.h"

Include dependency graph for dominatorAnalysis.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	DominatorLattice
class	DominatorAnalysis
class	FindAllNodesAnalysis

Functions
const set< DataflowNode > &	getDominators (SgProject *project, const Function &func, const DataflowNode &n, string indent="")
bool	dominates (const DataflowNode &a, const DataflowNode &b, string indent="")
void	printDominatorAnalysisStates (DominatorAnalysis *da, string indent="")

Variables
int	dominatorAnalysisDebugLevel

Function Documentation

const set<DataflowNode>& getDominators	(	SgProject *	project,
		const Function &	func,
		const DataflowNode &	n,
		string	indent = ""
	)

bool dominates	(	const DataflowNode &	a,
		const DataflowNode &	b,
		string	indent = ""
	)

void printDominatorAnalysisStates	(	DominatorAnalysis *	da,
		string	indent = ""
	)

Variable Documentation

int dominatorAnalysisDebugLevel