patch for compare1.c test failure

Richard Henderson
Tue Oct 26 09:26:00 GMT 1999

On Mon, Oct 25, 1999 at 10:17:11PM -0700, Zack Weinberg wrote:
> It does not distinguish this from the other case.  As passed to
> build_binary_op, "target_flags ? a : b" always has signed type.  The
> warning triggers because mode has unsigned type.

My thought when I looked at this before was that the bug
is that the expression (p ? DImode : SImode) does not have
type enum machine_mode. 

My reading of the standard suggests that this is a valid
interpretation.  If the result of the ?: expression is used
in a context that warrents default conversions, it can 
happen then.


More information about the Gcc-patches mailing list