[PATCH] Document arithmetic overflow semantics

[Richard Earnshaw]

> On Thu, Feb 13, 2003 at 08:31:33AM -0700, Roger Sayle wrote:
> > At the GCC internal level there should be no such thing as undefined
> > behaviour, this is a front-end concept.
> 
> I disagree.  It's the undefinedness we want to take advantage of.
> 

I think there is major confusion here between "undefined" in the 
language-lawyer concept and "ambiguous" about what our internal nodes mean.

Yes, we want to take advantage of the former.  But we need to try and 
avoid the latter.

R.