diff options
| author | Yannick Moy <moy@adacore.com> | 2013-04-24 14:37:37 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 16:37:37 +0200 |
| commit | 8a8ac7e3bd0d316ec3f809e29574e9900847d26a (patch) | |
| tree | 03e28025498e90c0ae683b69533fd9d37a233db9 /gcc/ada | |
| parent | dd3b3672c49e3cee97fdd35d5c72c849af952862 (diff) | |
| download | gcc-8a8ac7e3bd0d316ec3f809e29574e9900847d26a.zip gcc-8a8ac7e3bd0d316ec3f809e29574e9900847d26a.tar.gz gcc-8a8ac7e3bd0d316ec3f809e29574e9900847d26a.tar.bz2 | |
snames.ads-tmpl: Minor change to list Loop_(In)variant not in configuration pragma.
2013-04-24 Yannick Moy <moy@adacore.com>
* snames.ads-tmpl: Minor change to list
Loop_(In)variant not in configuration pragma.
* sem_ch3.adb (Analyze_Declarations): Do not look at the original node
for analyzing the expressions in pre/postconditions.
From-SVN: r198239
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 11 | ||||
| -rw-r--r-- | gcc/ada/snames.ads-tmpl | 8 |
3 files changed, 15 insertions, 11 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 91c529c..34a91d1 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,10 @@ +2013-04-24 Yannick Moy <moy@adacore.com> + + * snames.ads-tmpl: Minor change to list + Loop_(In)variant not in configuration pragma. + * sem_ch3.adb (Analyze_Declarations): Do not look at the original node + for analyzing the expressions in pre/postconditions. + 2013-04-24 Robert Dewar <dewar@adacore.com> * gnatcmd.adb, xref_lib.adb, gnatls.adb, sem_ch13.adb: Minor diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index da964c0..af2cc23 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -2187,17 +2187,14 @@ package body Sem_Ch3 is -- delayed visibility requirement. declare - Decl : Node_Id; - Subp_Decl : Node_Id; - Subp_Id : Entity_Id; + Decl : Node_Id; + Subp_Id : Entity_Id; begin Decl := First (L); while Present (Decl) loop - Subp_Decl := Original_Node (Decl); - - if Nkind (Subp_Decl) = N_Subprogram_Declaration then - Subp_Id := Defining_Unit_Name (Specification (Subp_Decl)); + if Nkind (Decl) = N_Subprogram_Declaration then + Subp_Id := Defining_Unit_Name (Specification (Decl)); Analyze_Subprogram_Contract (Subp_Id); end if; diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl index f8e807c..320bf76 100644 --- a/gcc/ada/snames.ads-tmpl +++ b/gcc/ada/snames.ads-tmpl @@ -411,9 +411,7 @@ package Snames is Name_License : constant Name_Id := N + $; -- GNAT Name_Locking_Policy : constant Name_Id := N + $; Name_Long_Float : constant Name_Id := N + $; -- VMS - Name_Loop_Invariant : constant Name_Id := N + $; -- GNAT Name_Loop_Optimize : constant Name_Id := N + $; -- GNAT - Name_Loop_Variant : constant Name_Id := N + $; -- GNAT Name_No_Run_Time : constant Name_Id := N + $; -- GNAT Name_No_Strict_Aliasing : constant Name_Id := N + $; -- GNAT Name_Normalize_Scalars : constant Name_Id := N + $; @@ -549,6 +547,8 @@ package Snames is -- of the type Pragma_Id, and the functions Get_Pragma_Id and Is_Pragma_Id -- correctly recognize and process Lock_Free. Lock_Free is a GNAT pragma. + Name_Loop_Invariant : constant Name_Id := N + $; -- GNAT + Name_Loop_Variant : constant Name_Id := N + $; -- GNAT Name_Machine_Attribute : constant Name_Id := N + $; -- GNAT Name_Main : constant Name_Id := N + $; -- GNAT Name_Main_Storage : constant Name_Id := N + $; -- GNAT @@ -1721,9 +1721,7 @@ package Snames is Pragma_License, Pragma_Locking_Policy, Pragma_Long_Float, - Pragma_Loop_Invariant, Pragma_Loop_Optimize, - Pragma_Loop_Variant, Pragma_No_Run_Time, Pragma_No_Strict_Aliasing, Pragma_Normalize_Scalars, @@ -1827,6 +1825,8 @@ package Snames is Pragma_Linker_Options, Pragma_Linker_Section, Pragma_List, + Pragma_Loop_Invariant, + Pragma_Loop_Variant, Pragma_Machine_Attribute, Pragma_Main, Pragma_Main_Storage, |