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: Serious code generation/optimisation bug (I think)

From: Vincent Lefevre <vincent+gcc at vinc17 dot org>
To: Robert Dewar <dewar at adacore dot com>
Cc: James Dennett <james dot dennett at gmail dot com>, zoltan at bendor dot com dot au, gcc at gcc dot gnu dot org
Date: Tue, 27 Jan 2009 15:53:26 +0100
Subject: Re: Serious code generation/optimisation bug (I think)
References: <Pine.LNX.4.31.0901271825250.29022-100000@susu.bendor.com.au> <18738acb0901270011m2a3dbf12p9db3d36beb7b517f@mail.gmail.com> <497EF953.4060200@adacore.com>

On 2009-01-27 07:08:51 -0500, Robert Dewar wrote:
[...]
> Interestingly, my viewpoint on this from the compiler domain might
> seem to be quite inconsistent. I think it is generally a bad idea
> for compilers to aggressively optimize based on assumptions that
> programs are free of these kinds of mistakes.
[...]

Can you define "aggressively optimize" please? :)

(This term is completely meaningless, IMHO, or if you prefer, highly
subjective.)

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

Follow-Ups:
- Re: Serious code generation/optimisation bug (I think)
  - From: Robert Dewar

References:
- Serious code generation/optimisation bug (I think)
  - From: zoltan
- Re: Serious code generation/optimisation bug (I think)
  - From: James Dennett
- Re: Serious code generation/optimisation bug (I think)
  - From: Robert Dewar

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