[PATCH] Document arithmetic overflow semantics

[Fergus Henderson]

On 13-Feb-2003, Robert Dewar <dewar@gnat.com> wrote:
> > This is why we should have proper annotations on the tree nodes
> > so that Java can get the results that they need.
> 
> Certainly for + and -, Java can get what it wants

Including gdb support?
If Java maps signed types to unsigned, how is gdb going to know about it?

-- 
Fergus Henderson <fjh@cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.