diff options
Diffstat (limited to 'gcc/ada/s-addope.ads')
| -rw-r--r-- | gcc/ada/s-addope.ads | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/gcc/ada/s-addope.ads b/gcc/ada/s-addope.ads index 89b089b..680fe35 100644 --- a/gcc/ada/s-addope.ads +++ b/gcc/ada/s-addope.ads @@ -6,11 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2004-2005 Free Software Foundation, Inc. -- --- -- --- This specification is derived from the Ada Reference Manual for use with -- --- GNAT. The copyright notice above, and the license provisions that follow -- --- apply solely to the implementation dependent sections of this file. -- +-- Copyright (C) 2004-2006, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -59,6 +55,13 @@ package System.Address_Operations is -- Standard (which may or may not be visible depending on the exact -- form of the declaration of type System.Address). + -- For addition, subtraction, and multiplication, the effect of overflow + -- is 2's complement wrapping (as though the type Address were unsigned). + + -- For division and modulus operations, the caller is responsible for + -- ensuring that the Right argument is non-zero, and the effect of the + -- call is not specified if a zero argument is passed. + function AddA (Left, Right : Address) return Address; function SubA (Left, Right : Address) return Address; function MulA (Left, Right : Address) return Address; |