This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r191912 - in /trunk/gcc/ada: ChangeLog checks.a...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 01 Oct 2012 10:17:59 -0000
- Subject: r191912 - in /trunk/gcc/ada: ChangeLog checks.a...
Author: charlet
Date: Mon Oct 1 10:17:59 2012
New Revision: 191912
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191912
Log:
2012-10-01 Robert Dewar <dewar@adacore.com>
* checks.adb (Overflow_Check_Mode): New function
(Apply_Overflow_Check): New procedure (Is_Check_Suppressed):
Moved here from Sem, Overflow_Check case now specially treated.
* checks.ads (Overflow_Check_Mode): New function
(Is_Check_Suppressed): Moved here from Sem (more logical)
* exp_ch4.adb (Substitute_Valid_Check): Suppress warning about
optimization if we are in MINIMIZED or ELIMINATED overflow
checking mode and within an assertiom expression.
* rtsfind.ads: Add entries for Bignum stuff.
* s-bignum.ads, s-bignum.adb: New files.
* sem.ads, sem.adb (Is_Check_Suppressed): Moved to Checks, more logical.
* sem_prag.adb (Process_Suppress_Unsuppress): New behavior for
Unsuppress of Overflow_Check (sets Checked instead of Minimized)
* sem_res.adb: Update comments.
* sinfo.ads (N_Op): Add documentation on overflow handling.
* tbuild.ads, tbuild.adb (Convert_To_And_Rewrite): New procedure.
* types.ads (Minimized_Or_Eliminated): New subtype.
2012-10-01 Eric Botcazou <ebotcazou@adacore.com>
* layout.adb (Layout_Type): Do not set twice the address size
on an access-to-unconstrained array if Debug_Flag_6 is set.
Added:
trunk/gcc/ada/s-bignum.adb
trunk/gcc/ada/s-bignum.ads
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/checks.adb
trunk/gcc/ada/checks.ads
trunk/gcc/ada/exp_ch4.adb
trunk/gcc/ada/layout.adb
trunk/gcc/ada/rtsfind.ads
trunk/gcc/ada/sem.adb
trunk/gcc/ada/sem.ads
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_res.adb
trunk/gcc/ada/sinfo.ads
trunk/gcc/ada/tbuild.adb
trunk/gcc/ada/tbuild.ads
trunk/gcc/ada/types.ads