This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Document arithmetic overflow semantics
- From: Roger Sayle <roger at www dot eyesopen dot com>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: gcc-patches at gcc dot gnu dot org, <gcc at gcc dot gnu dot org>
- Date: Thu, 13 Feb 2003 07:57:44 -0700 (MST)
- Subject: Re: [PATCH] Document arithmetic overflow semantics
On Thu, 13 Feb 2003, Richard Kenner wrote:
> I completely disagree, and so do GCC's patch reviewers. The behaviour
> of a program with optimization should always be the same as its behaviour
> without optimization.
>
> Only for correct programs.
>
> Are you really claiming that a program with an uninitialized variable
> must be compiled in such a way that it produces the same result independent
> of optimization?
You got me. Naturally there are limits. GCC can't claim that two runs
of the same executable with an uninitialized variable produce the same
result.
Roger
--