diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 15:15:21 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 15:15:21 +0200 |
| commit | 6cb3037c69f90344dd3c5f9504b0a79422932b12 (patch) | |
| tree | 472b8d3167f76e0ef9ed548985d556ff582c00d0 /gcc/ada/s-bignum.adb | |
| parent | f619427812a37d1249b1a85434dde71b8efdc40a (diff) | |
| download | gcc-6cb3037c69f90344dd3c5f9504b0a79422932b12.zip gcc-6cb3037c69f90344dd3c5f9504b0a79422932b12.tar.gz gcc-6cb3037c69f90344dd3c5f9504b0a79422932b12.tar.bz2 | |
[multiple changes]
2012-10-01 Robert Dewar <dewar@adacore.com>
* checks.adb (Minimize_Eliminate_Overflow_Checks): Changes
for exponentiation.
* exp_ch4.adb (Expand_N_Op_Expon): Changes for Minimize/Eliminate
overflow checks.
* s-bignum.adb (Compare): Fix bad precondition.
2012-10-01 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Build_Derived_Record_Type): If the derived
type has new discriminantss that constrain inherited ones, use
the discriminant type in the original declaration to check for
conformance, because in the presence of array components with a
smaller range that are constrained by the origina discriminant,
the compiler will have created a narrower subtype for that
discriminant.
From-SVN: r191919
Diffstat (limited to 'gcc/ada/s-bignum.adb')
| -rw-r--r-- | gcc/ada/s-bignum.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/s-bignum.adb b/gcc/ada/s-bignum.adb index 3474e1b..f8d2132 100644 --- a/gcc/ada/s-bignum.adb +++ b/gcc/ada/s-bignum.adb @@ -81,7 +81,7 @@ package body System.Bignums is function Compare (X, Y : Digit_Vector; X_Neg, Y_Neg : Boolean) return Compare_Result - with Pre => X'First = 1 and then X'Last = 1; + with Pre => X'First = 1 and then Y'First = 1; -- Compare (X with sign X_Neg) with (Y with sign Y_Neg), and return the -- result of the signed comparison. |