34 if(dest.
id()==ID_address_of)
37 if(
object.
id()==ID_symbol)
39 expr_mapt::const_iterator it=
40 expr_map.find(
object.
get(ID_identifier));
46 else if(dest.
id()==ID_symbol)
48 expr_mapt::const_iterator it=
62 const irept &c_sizeof_type=dest.
find(ID_C_c_sizeof_type);
66 static_cast<typet&>(dest.
add(ID_C_c_sizeof_type))))
69 const irept &va_arg_type=dest.
find(ID_C_va_arg_type);
virtual bool replace(exprt &dest) const
does not replace object in address_of expressions
virtual bool replace(exprt &dest) const
const irep_idt & id() const
const address_of_exprt & to_address_of_expr(const exprt &expr)
Cast a generic exprt to an address_of_exprt.
API to expression classes.
const irep_idt & get(const irep_namet &name) const
bool have_to_replace(const exprt &dest) const
Base class for tree-like data structures with sharing.
Modified expression replacement for constant propagator.
Base class for all expressions.
irept & add(const irep_namet &name)
#define Forall_operands(it, expr)
const irept & find(const irep_namet &name) const