diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 15:18:22 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 15:18:22 +0200 |
| commit | a91e9ac73ddc90a31f5f9afcbc73558cb0e56006 (patch) | |
| tree | 1e9890433ea1e4a8576e1dd8596d25f5c826961f /gcc/ada/exp_ch4.adb | |
| parent | 6cb3037c69f90344dd3c5f9504b0a79422932b12 (diff) | |
| download | gcc-a91e9ac73ddc90a31f5f9afcbc73558cb0e56006.zip gcc-a91e9ac73ddc90a31f5f9afcbc73558cb0e56006.tar.gz gcc-a91e9ac73ddc90a31f5f9afcbc73558cb0e56006.tar.bz2 | |
[multiple changes]
2012-10-01 Robert Dewar <dewar@adacore.com>
* checks.adb (Apply_Divide_Checks): New name for
Apply_Divide_Check (Minimize_Eliminate_Overflow_Checks):
Add code to handle division (and rem and mod) properly.
(Apply_Division_Check): New procedure (Apply_Divide_Checks):
Use Apply_Division_Check (Apply_Divide_Checks): Use
Apply_Arithmetic_Overflow_Minimized_Eliminated.
* checks.ads (Apply_Divide_Checks): New name for
Apply_Divide_Check, also add clearer documentation for this
routine and put in alfa order.
* exp_ch4.adb (Apply_Divide_Checks): New name for
Apply_Divide_Check.
* s-bignum.adb (To_Bignum): Handle largest negative integer
properly.
* sem.adb (Analyze): Handle overflow suppression correctly
(Analyze_List): Handle overflow suppression correctly
* sem_res.adb (Analyze_And_Resolve): Handle overflow suppression
correctly.
2012-10-01 Vasiliy Fofanov <fofanov@adacore.com>
* s-oscons-tmplt.c, g-socket.ads: Revert previous change, breaks VMS.
From-SVN: r191920
Diffstat (limited to 'gcc/ada/exp_ch4.adb')
| -rw-r--r-- | gcc/ada/exp_ch4.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index d87dd8f..dcf3382 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -6584,7 +6584,7 @@ package body Exp_Ch4 is -- Non-fixed point cases, do integer zero divide and overflow checks elsif Is_Integer_Type (Typ) then - Apply_Divide_Check (N); + Apply_Divide_Checks (N); -- Deal with Vax_Float @@ -7836,7 +7836,7 @@ package body Exp_Ch4 is else if Is_Integer_Type (Etype (N)) then - Apply_Divide_Check (N); + Apply_Divide_Checks (N); end if; -- Apply optimization x mod 1 = 0. We don't really need that with @@ -8469,7 +8469,7 @@ package body Exp_Ch4 is Binary_Op_Validity_Checks (N); if Is_Integer_Type (Etype (N)) then - Apply_Divide_Check (N); + Apply_Divide_Checks (N); end if; -- Apply optimization x rem 1 = 0. We don't really need that with gcc, |