[multiple changes]

2012-06-14  Robert Dewar  <dewar@adacore.com>

	* 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  <pucci@adacore.com>

	* 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  <schonberg@adacore.com>

	* a-coorma.adb, a-cborma.adb, a-cbhama.adb, a-ciorma.adb: Add missing
	aliased keyword.

2012-06-14  Bob Duff  <duff@adacore.com>

	* 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  <schonberg@adacore.com>

	* sem_ch6.adb (Check_Conformance): Add Ada 2012 check on mode
	conformance: "aliased" must apply to both or neither formal
	parameters.

From-SVN: r188609

1 files changed, 11 insertions, 11 deletions

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.