[PATCH] Document arithmetic overflow semantics

[Neil Booth]

Robert Dewar wrote:-

> > Java requires strict 32-bit two's complement arithmetic for its ints,
> > and PLUS_EXPR isn't guaranteed to do that.  We could, of course,
> > generate something like
> > 
> >    uint((ulong)a + (ulong)b)
> > 
> > which would be well defined. 
> 
> it seems clear that Java should be using unsigned arithmetic for all operations,
> since that is the way Java is defined.

What happened about getting a 21-st century mailer that preserves
mail IDs?  Zack pointed you to a Berkeley-compatible mail program that
did it, but he was ignored.

This thread is impossible two follow, what with not one but two
arch-villains, Robert Dewar and Richard Kenner contributing to it.

Neil.