[PATCH] Document arithmetic overflow semantics

[Richard Kenner]

    > Nope.  Lots of places in the optimizer assume that overflow signed
    > integers are undefined.  

    I'm prepared to drop this entire argument if you can find me just one

The one I mentioned: (a*2)/2.