On Fri, May 27, 2005 at 02:32:46PM -0400, Andrew Pinski wrote:
> >
> > This is happening in gcc.dg/tree-ssa/20040121-1.c. The test
> > specifically tests that (p!=0) + (q!=0) should be computed as
> > int:
> >
> > char *foo(char *p, char *q) {
> > int x = (p !=0) + (q != 0);
> > ...
> > }
> >
> > During VRP, we get this IL
> >
> > D.1294_10 = first_8 != 0B;
> > D.1295_11 = last_9 != 0B;
> > x_12 = D.1294_10 + D.1295_11;
> For me (on the mainline as of last night),
> both D.1294 and D.1295 are of type int so it
> looks like a bug in VRP assuming the resulting
> type of a comparison will a boolean type.
>
Of course they are both of type int, but the *value* they hold is
of type _Bool.
When we call int_const_binop, we send the *values* and it
computes the operation using the type of the *values*.
The workaround I am using right now is for VRP to force the type
of the values to the type of the expression. But that doesn't
fix the FE bug.
Diego.
