void make_entry() final override
bool merge(const global_may_alias_domaint &b, locationt from, locationt to)
void transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns) final override
void get_rhs_aliases_address_of(const exprt &, std::set< irep_idt > &)
global_may_alias_domaint()
void get_rhs_aliases(const exprt &, std::set< irep_idt > &)
void make_bottom() final override
bool is_bottom() const final override
void make_top() final override
bool is_top() const final override
void output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const final override
goto_programt::const_targett locationt
void assign_lhs_aliases(const exprt &, const std::set< irep_idt > &)
union_find< irep_idt > aliasest