On Tue, Jun 11, 2013 at 09:44:40PM +0200, Marek Polacek wrote:
> > >+ tree type0 = TREE_TYPE (op0);
> > >+ tree type1 = TREE_TYPE (op1);
> >
> > Can the 2 types be different? I thought divisions had homogeneous
> > arguments, and the instrumentation was done late enough to avoid any
> > potential issue, but maybe not...
>
> Yeah, they can; they only have to be of arithmetic type.
Nope, if this is after conversion to result_type (resp. orig_type),
then they both have result_type resp. orig_type type.
Shift is different, there the two arguments can have different type.
Jakub
