diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 15:08:31 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 15:08:31 +0200 |
| commit | b546e2a732f0572fb3119facb48ead0b44c75afc (patch) | |
| tree | a3be080dfdcb9afdc5009eb2a2f98b02acae6330 /gcc/ada/fe.h | |
| parent | dba44dbef91efd698ead6dcce7b19a24a4522000 (diff) | |
| download | gcc-b546e2a732f0572fb3119facb48ead0b44c75afc.zip gcc-b546e2a732f0572fb3119facb48ead0b44c75afc.tar.gz gcc-b546e2a732f0572fb3119facb48ead0b44c75afc.tar.bz2 | |
[multiple changes]
2013-04-24 Eric Botcazou <ebotcazou@adacore.com>
* fe.h (Machine_Overflows_On_Target): New macro and declaration.
(Signed_Zeros_On_Target): Likewise.
2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb: Add with and use clause for Sem_Prag.
(Freeze_Subprogram): Analyze all delayed aspects for a null
procedure so that they are available when analyzing the
internally-generated _Postconditions routine.
* exp_ch13.adb: Remove with and use clause for Sem_Prag.
(Expand_N_Freeze_Entity): Move the code that analyzes delayed
aspects of null procedures to exp_ch6.Freeze_Subprogram.
* sem_prag.adb (Analyze_Abstract_State): Update the check on
volatile requirements.
2013-04-24 Bob Duff <duff@adacore.com>
* ali-util.ads (Source_Record): New component Stamp_File
to record from whence the Stamp came.
* ali-util.adb (Set_Source_Table): Set Stamp_File component.
* bcheck.adb (Check_Consistency): Print additional information in
Verbose_Mode.
* gnatbind.adb (Gnatbind): Print additional information in
Verbose_Mode.
From-SVN: r198224
Diffstat (limited to 'gcc/ada/fe.h')
| -rw-r--r-- | gcc/ada/fe.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/fe.h b/gcc/ada/fe.h index 552a8bf..1c5aac4 100644 --- a/gcc/ada/fe.h +++ b/gcc/ada/fe.h @@ -6,7 +6,7 @@ * * * C Header File * * * - * Copyright (C) 1992-2012, Free Software Foundation, Inc. * + * Copyright (C) 1992-2013, 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- * @@ -263,10 +263,14 @@ extern void Set_Has_No_Elaboration_Code (Node_Id, Boolean); /* targparm: */ #define Backend_Overflow_Checks_On_Target targparm__backend_overflow_checks_on_target +#define Machine_Overflows_On_Target targparm__machine_overflows_on_target +#define Signed_Zeros_On_Target targparm__signed_zeros_on_target #define Stack_Check_Probes_On_Target targparm__stack_check_probes_on_target #define Stack_Check_Limits_On_Target targparm__stack_check_limits_on_target extern Boolean Backend_Overflow_Checks_On_Target; +extern Boolean Machine_Overflows_On_Target; +extern Boolean Signed_Zeros_On_Target; extern Boolean Stack_Check_Probes_On_Target; extern Boolean Stack_Check_Limits_On_Target; |