From 2a290fec3d61859b69f865d1769f4e11ac1c3dc8 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 14 Jun 2012 12:49:59 +0200 Subject: [multiple changes] 2012-06-14 Robert Dewar * exp_ch7.adb, exp_util.adb, sem_aux.ads, exp_ch9.adb, sem_ch10.adb, freeze.adb, sem_util.adb, exp_ch4.adb, s-taprop-dummy.adb: Minor reformatting. 2012-06-14 Vincent Pucci * exp_attr.adb (Expand_N_Attribute_Reference): Lock_Free attribute case added. * par-prag.adb (Prag): Lock_Free pragma case added. * sem_attr.adb (Analyze_Attribute_Reference): Lock_Free attribute case added. * sem_ch13.adb (Analyze_Aspect_Specifications): Record_Rep_Item call added for Aspect_Lock_Free. * sem_ch9.adb (Allows_Lock_Free_Implementation): New Lock_Free error messages for subprogram bodies. (Lock_Free_Disabled): New routine. (Analyze_Protected_Body): Call to Lock_Free_Disabled added. * sem_prag.adb (Analyze_Pragma): Lock_Free pragma case added. * snames.adb-tmpl (Get_Pragma_Id): Name_Lock_Free case added. (Is_Pragma_Name): Name_Lock_Free case added. * snames.ads-tmpl: Attribute_Lock_Free and Pragma_Lock_Free added. 2012-06-14 Ed Schonberg * a-coorma.adb, a-cborma.adb, a-cbhama.adb, a-ciorma.adb: Add missing aliased keyword. 2012-06-14 Bob Duff * lib.ads, lib.adb, sem.adb (Write_Unit_Info): Move this procedure from Sem body to Lib spec, so it can be used for debugging elsewhere. 2012-06-14 Ed Schonberg * sem_ch6.adb (Check_Conformance): Add Ada 2012 check on mode conformance: "aliased" must apply to both or neither formal parameters. From-SVN: r188609 --- gcc/ada/sem_aux.ads | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) (limited to 'gcc/ada/sem_aux.ads') diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index 85c70f9..bf09e99 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -163,7 +163,7 @@ package Sem_Aux is -- Searches the Rep_Item chain for a given entity E, for an instance of a -- rep item (pragma, attribute definition clause, or aspect specification) -- whose name matches the given name Nam. If Check_Parents is False then it - -- only returns rep item that has been directly specified to E (and not + -- only returns rep item that has been directly specified for E (and not -- inherited from its parents, if any). If one is found, it is returned, -- otherwise Empty is returned. A special case is that when Nam is -- Name_Priority, the call will also find Interrupt_Priority. @@ -172,11 +172,11 @@ package Sem_Aux is (E : Entity_Id; Nam : Name_Id; Check_Parents : Boolean := True) return Node_Id; - -- Searches the Rep_Item chain for a given entity E, for an instance of a - -- representation pragma whose name matches the given name Nam. If + -- Searches the Rep_Item chain for a given entity E, for an instance + -- of a representation pragma whose name matches the given name Nam. If -- Check_Parents is False then it only returns representation pragma that - -- has been directly specified to E (and not inherited from its parents, if - -- any). If one is found, it is returned, otherwise Empty is returned. A + -- has been directly specified for E (and not inherited from its parents, + -- if any). If one is found, it is returned, otherwise Empty is returned. A -- special case is that when Nam is Name_Priority, the call will also find -- Interrupt_Priority. @@ -186,10 +186,10 @@ package Sem_Aux is Check_Parents : Boolean := True) return Boolean; -- Searches the Rep_Item chain for the given entity E, for an instance of a -- rep item (pragma, attribute definition clause, or aspect specification) - -- with the given name Nam. If Check_Parents is False then it only returns - -- rep item that has been directly specified to E (and not inherited from - -- its parents, if any). If found then True is returned, otherwise False - -- indicates that no matching entry was found. + -- with the given name Nam. If Check_Parents is False then it only checks + -- for a rep item that has been directly specified for E (and not inherited + -- from its parents, if any). If found then True is returned, otherwise + -- False indicates that no matching entry was found. function Has_Rep_Pragma (E : Entity_Id; @@ -197,8 +197,8 @@ package Sem_Aux is Check_Parents : Boolean := True) return Boolean; -- Searches the Rep_Item chain for the given entity E, for an instance of a -- representation pragma with the given name Nam. If Check_Parents is False - -- then it only returns representation pragma that has been directly - -- specified to E (and not inherited from its parents, if any). If found + -- then it only checks for a representation pragma that has been directly + -- specified for E (and not inherited from its parents, if any). If found -- then True is returned, otherwise False indicates that no matching entry -- was found. -- cgit v1.1