From 8a8ac7e3bd0d316ec3f809e29574e9900847d26a Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Wed, 24 Apr 2013 14:37:37 +0000 Subject: snames.ads-tmpl: Minor change to list Loop_(In)variant not in configuration pragma. 2013-04-24 Yannick Moy * 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 --- gcc/ada/ChangeLog | 7 +++++++ gcc/ada/sem_ch3.adb | 11 ++++------- gcc/ada/snames.ads-tmpl | 8 ++++---- 3 files changed, 15 insertions(+), 11 deletions(-) (limited to 'gcc/ada') 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 + + * 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 * 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, -- cgit v1.1