24 const std::string &suffix)
26 if(expr.
id()==ID_symbol)
31 else if(expr.
id()==ID_index)
43 else if(expr.
id()==ID_if)
53 else if(expr.
id()==ID_member)
60 else if(expr.
id()==ID_dereference)
72 for(
const auto &op : expr.
operands())
A goto_instruction_codet representing an assignment in the program.
Operator to dereference a pointer.
Base class for all expressions.
The trinary if-then-else operator.
const irep_idt & id() const
Extract member of struct or union.
const exprt & struct_op() const
irep_idt get_component_name() const
const std::string & id2string(const irep_idt &d)
void get_objects_r_lhs(const exprt &lhs, object_id_sett &dest)
void get_objects(const exprt &expr, object_id_sett &dest)
void get_objects_r(const code_assignt &assign, object_id_sett &dest)
void get_objects_rec(get_modet mode, const exprt &expr, object_id_sett &dest, const std::string &suffix)
void get_objects_w(const code_assignt &assign, object_id_sett &dest)
std::set< object_idt > object_id_sett
API to expression classes for Pointers.
const dereference_exprt & to_dereference_expr(const exprt &expr)
Cast an exprt to a dereference_exprt.
const if_exprt & to_if_expr(const exprt &expr)
Cast an exprt to an if_exprt.
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast an exprt to a symbol_exprt.
const member_exprt & to_member_expr(const exprt &expr)
Cast an exprt to a member_exprt.
const index_exprt & to_index_expr(const exprt &expr)
Cast an exprt to an index_exprt.