Class ECRmap#

Nested Relationships#

Nested Types#

Inheritance Relationships#

Derived Type#

Class Documentation#

class ECRmap#

Subclassed by SteensgaardPtrAnal

Public Functions

inline void x_eq_y(Variable x, Variable y)#
inline void x_eq_addr_y(Variable x, Variable y)#
inline void x_eq_deref_y(Variable x, Variable y)#
inline void x_eq_op_y(Variable x, const std::list<Variable> &y)#
inline void allocate(Variable x)#
inline void deref_x_eq_y(Variable x, Variable y)#
inline void function_def_x(Variable x, const std::list<Variable> &inParams, const std::list<Variable> &outParams)#
inline void function_call_p(Variable p, const std::list<Variable> &x, const std::list<Variable> &y)#
inline virtual void dump()#
inline int find_LOC(std::ostream &out, std::map<ECR*, int> &locmap, int &loc, ECR *p)#
inline void outputLOC(std::ostream &out, std::map<ECR*, int> &locmap, int &loc, ECR *p)#
inline void output(std::ostream &out)#
inline bool mayAlias(Variable x, Variable y)#
inline virtual ~ECRmap()#
class VariableAlreadyDefined#

Public Functions

inline VariableAlreadyDefined(const Variable &_var)#

Public Members

Variable var#