ReachingDefinitionAnalysis

Synopsis

Declared in <src/midend/programAnalysis/bitvectorDataflow/ReachingDefinition.h>

class ReachingDefinitionAnalysis
    : public DataFlowAnalysis<ReachingDefNode, ReachingDefinitions>

Base Classes

Name	Description
DataFlowAnalysis<ReachingDefNode, ReachingDefinitions>

Member Functions

Name	Description
ReachingDefinitionAnalysis [constructor]	Default constructor
~ReachingDefinitionAnalysis [destructor] [virtual]	Destructor
collect_ast
get_generator
operator()

Private Member Functions

Name

FinalizeCFG [virtual]

get_empty_data [virtual]

meet_data [virtual]

Private Data Members

Name

a

g

pars

Created with MrDocs