[PATCH] Document arithmetic overflow semantics

[Gabriel Dos Reis]

kenner@vlsi1.ultra.nyu.edu (Richard Kenner) writes:

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

I believe this generalization is drifting away from the initial
specific topic.

-- Gaby