13 #ifndef CPROVER_ANALYSES_ESCAPE_ANALYSIS_H 14 #define CPROVER_ANALYSES_ESCAPE_ANALYSIS_H 113 const std::set<irep_idt> &,
118 #endif // CPROVER_ANALYSES_ESCAPE_ANALYSIS_H void output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const final
void get_rhs_aliases(const exprt &, std::set< irep_idt > &)
numbering< irep_idt > bits
void get_rhs_aliases_address_of(const exprt &, std::set< irep_idt > &)
union_find< irep_idt > aliasest
void transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns) final
void get_rhs_cleanup(const exprt &, std::set< irep_idt > &)
std::set< irep_idt > cleanup_functions
goto_function_templatet< goto_programt > goto_functiont
void instrument(goto_functionst &, const namespacet &)
virtual void initialize(const goto_functionst &_goto_functions)
void assign_lhs_aliases(const exprt &, const std::set< irep_idt > &)
void check_lhs(const exprt &, std::set< irep_idt > &)
Base class for all expressions.
void insert_cleanup(goto_functionst::goto_functiont &, goto_programt::targett, const exprt &, const std::set< irep_idt > &, bool is_object, const namespacet &)
bool merge(const escape_domaint &b, locationt from, locationt to)
std::map< irep_idt, cleanupt > cleanup_mapt
irep_idt get_function(const exprt &)
goto_programt::const_targett locationt
Expression to hold a symbol (variable)
void assign_lhs_cleanup(const exprt &, const std::set< irep_idt > &)
bool is_tracked(const symbol_exprt &)
instructionst::iterator targett