27 if(it->type().id()==ID_pointer)
33 else if(src.
id()==ID_minus)
40 else if(src.
id()==ID_address_of)
43 if(src.
op0().
id()==ID_index)
void copy_to_operands(const exprt &expr)
const irep_idt & id() const
void add_to_offset(const exprt &src)
API to expression classes.
pointer_arithmetict(const exprt &src)
#define forall_operands(it, expr)
void read(const exprt &src)
void make_pointer(const exprt &src)
The unary minus expression.
Base class for all expressions.
void make_typecast(const typet &_type)
const index_exprt & to_index_expr(const exprt &expr)
Cast a generic exprt to an index_exprt.