16 if(a.
id()==ID_unknown)
18 else if(b.
id()==ID_unknown)
28 if(new_offset.op1().type()!=a.
type())
29 new_offset.op1().make_typecast(a.
type());
void copy_to_operands(const exprt &expr)
exprt pointer_offset_sum(const exprt &a, const exprt &b)
const irep_idt & id() const
Base class for all expressions.