This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213545 - 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, 04 Aug 2014 09:38:17 -0000
- Subject: r213545 - in /trunk/gcc/ada: ChangeLog checks.a...
Author: charlet
Date: Mon Aug 4 09:38:17 2014
New Revision: 213545
URL: https://gcc.gnu.org/viewcvs?rev=213545&root=gcc&view=rev
Log:
2014-08-04 Robert Dewar <dewar@adacore.com>
* checks.adb (Activate_Overflow_Check): Remove
Check_Float_Overflow processing.
(Apply_Scalar_Range_Check): Ditto.
(Generate_Range_Check): Ditto.
* exp_ch4.adb (Expand_N_Op_Add): Add call to
Check_Float_Op_Overflow.
(Expand_N_Op_Divide): ditto.
(Expand_N_Op_Multiply): ditto.
(Expand_N_Op_Subtract): ditto.
* exp_util.ads, exp_util.adb (Check_Float_Op_Overflow): New procedure.
* sem_attr.adb (Analyze_Attribute, case Pred): Make sure
Do_Range_Check is set for floating-point case in -gnatc or
GNATprove mode.
(Analyze_Attribute, case Succ): Make sure
Do_Range_Check is set for floating-point case in -gnatc or
GNATprove mode.
* sem_res.adb (Resolve_Type_Conversion): Make sure Do_Range_Check
flag is set for real to integer conversion in GNATprove or
-gnatc mode.
2014-08-04 Gary Dismukes <dismukes@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): Resolve
the expression of an Import or Export aspect as type Boolean
and require it to be static. Add ??? comment. Also, set the
Is_Exported flag when appropriate.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/checks.adb
trunk/gcc/ada/exp_ch4.adb
trunk/gcc/ada/exp_util.adb
trunk/gcc/ada/exp_util.ads
trunk/gcc/ada/sem_attr.adb
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_res.adb