[PATCH] Document arithmetic overflow semantics

[Roger Sayle]

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
--