[PATCH] Document arithmetic overflow semantics

[Richard Kenner]

    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?