Class ReachingDefinitionAnalysis

Contents

Class ReachingDefinitionAnalysis#

Defined in File ReachingDefinition.h

Inheritance Relationships#

Base Type#

public DataFlowAnalysis< ReachingDefNode, ReachingDefinitions > (Template Class DataFlowAnalysis)

Class Documentation#

class ReachingDefinitionAnalysis : public DataFlowAnalysis<ReachingDefNode, ReachingDefinitions>#

Public Functions

inline ReachingDefinitionAnalysis()#

inline ~ReachingDefinitionAnalysis()#

void operator()(AstInterface &fa, const AstNodePtr &h, FunctionSideEffectInterface *anal = 0)#

void collect_ast(const ReachingDefinitions &repr, CollectObject<std::pair<AstNodePtr, AstNodePtr>> &collect)#

inline const ReachingDefinitionGenerator *get_generator() const#