This is the mail archive of the gcc-help@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: Is it OK that gcc optimizes away overflow check?

From: Vincent Lefevre <vincent+gcc at vinc17 dot org>
To: gcc-help at gcc dot gnu dot org
Date: Sun, 31 Jul 2011 01:30:35 +0200
Subject: Re: Is it OK that gcc optimizes away overflow check?
References: <4E2B2B72.9050504@agner.org> <4E2D3AA9.1050207@redhat.com> <4E2D8DD3.1050001@agner.org> <4E2D9816.4060307@redhat.com>

On 2011-07-25 17:21:42 +0100, Andrew Haley wrote:
> gcc is already safe, though: we don't do any optimizations that
> generate incorrect code.

Not always (but bugs have been reported about incorrect optimizations).

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)

References:
- Is it OK that gcc optimizes away overflow check?
  - From: Agner Fog
- Re: Is it OK that gcc optimizes away overflow check?
  - From: Andrew Haley
- Re: Is it OK that gcc optimizes away overflow check?
  - From: Agner Fog
- Re: Is it OK that gcc optimizes away overflow check?
  - From: Andrew Haley

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