diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 12:17:59 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 12:17:59 +0200 |
| commit | acad3c0a0c949793de53b128adcadf0ecee2bd22 (patch) | |
| tree | c12dcb5d92664b2a69c5bff0a305c50b1caeaa9e /gcc/ada/tbuild.ads | |
| parent | d976bf74f0b426dc4f17228e181421e695f49c05 (diff) | |
| download | gcc-acad3c0a0c949793de53b128adcadf0ecee2bd22.zip gcc-acad3c0a0c949793de53b128adcadf0ecee2bd22.tar.gz gcc-acad3c0a0c949793de53b128adcadf0ecee2bd22.tar.bz2 | |
[multiple changes]
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.
From-SVN: r191912
Diffstat (limited to 'gcc/ada/tbuild.ads')
| -rw-r--r-- | gcc/ada/tbuild.ads | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/tbuild.ads b/gcc/ada/tbuild.ads index 0ece7bd..0feebe7 100644 --- a/gcc/ada/tbuild.ads +++ b/gcc/ada/tbuild.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2011, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2012, 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- -- @@ -48,6 +48,12 @@ package Tbuild is -- Exp. This means that it is safe to replace a node by a Convert_To -- of itself to some other type. + procedure Convert_To_And_Rewrite (Typ : Entity_Id; Expr : Node_Id); + pragma Inline (Convert_To_And_Rewrite); + -- Like the function, except that there is an extra step of calling + -- Rewrite on the Expr node and replacing it with the converted result. + -- As noted above, this is safe, because Relocate_Node is called. + procedure Discard_Node (N : Node_Or_Entity_Id); pragma Inline (Discard_Node); -- This is a dummy procedure that simply returns and does nothing. It is |