This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: More front end type mismatch problems

From: Diego Novillo <dnovillo at redhat dot com>
To: Ian Lance Taylor <ian at airs dot com>
Cc: gcc at gcc dot gnu dot org, Richard Henderson <rth at redhat dot com>
Date: Fri, 27 May 2005 14:28:39 -0400
Subject: Re: More front end type mismatch problems
References: <20050527180545.GA8369@topo.toronto.redhat.com> <m33bs8bkah.fsf@gossamer.airs.com>

On Fri, May 27, 2005 at 02:23:02PM -0400, Ian Lance Taylor wrote:

> The program is legal C.  The _Bool values should be promoted to int
> before doing the addition.
>
OK, thanks.

> I guess that type cast is being lost somewhere.
> 
It doesn't seem to be ever emitted.  There are no casts in
.original:

int x = (p != 0B) + (q != 0B)

and the gimplifier carries on to emit:

  D.1230 = p != 0B;
  D.1231 = q != 0B;
  x = D.1230 + D.1231;


Diego.

References:
- More front end type mismatch problems
  - From: Diego Novillo
- Re: More front end type mismatch problems
  - From: Ian Lance Taylor

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]