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: signed is undefined and has been since 1992 (in GCC)

From: Diego Novillo <dnovillo at redhat dot com>
To: Gabriel Dos Reis <gdr at integrable-solutions dot net>
Cc: Joe Buck <Joe dot Buck at synopsys dot COM>, Michael Veksler <VEKSLER at il dot ibm dot com>, gcc at gcc dot gnu dot org
Date: Tue, 28 Jun 2005 13:18:04 -0400
Subject: Re: signed is undefined and has been since 1992 (in GCC)
References: <3dbad9a6bd7eb1aea74ff2245eaa1b99@physics.uc.edu> <OF08B500C3.8B99ADB9-ON4325702E.00244343-4325702E.0028A307@il.ibm.com> <20050628163249.GB9524@synopsys.com> <m3d5q6ifd2.fsf@uniton.integrable-solutions.net>

On Tue, Jun 28, 2005 at 07:02:49PM +0200, Gabriel Dos Reis wrote:

> We document that  
>     
>     a = (int) ((unsigned) b + c)
> 
> is well-defined and given by the wrapping semantics.  Does the current
> optimizer takes that into account or will it assume b+1 execution times?
> 
I fixed this bug yesterday.  Scalar evolutions was assuming it
couldn't wrap around.


Diego.

References:
- Re: signed is undefined and has been since 1992 (in GCC)
  - From: Andrew Pinski
- Re: signed is undefined and has been since 1992 (in GCC)
  - From: Michael Veksler
- Re: signed is undefined and has been since 1992 (in GCC)
  - From: Joe Buck
- Re: signed is undefined and has been since 1992 (in GCC)
  - From: Gabriel Dos Reis

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