[multiple changes]

2013-04-11  Robert Dewar  <dewar@adacore.com>

	* sem_prag.adb, sem_util.adb, sem_res.adb, exp_ch4.adb: Minor
	reformatting.

2013-04-11  Thomas Quinot  <quinot@adacore.com>

	* exp_util.ads (Fully_Qualified_Name_String): Document that the
	constructed literal is the entity name in all upper case.

From-SVN: r197777

gcc/ada/ChangeLog

+2013-04-11  Robert Dewar  <dewar@adacore.com>
+
+	* sem_prag.adb, sem_util.adb, sem_res.adb, exp_ch4.adb: Minor
+	reformatting.
+
+2013-04-11  Thomas Quinot  <quinot@adacore.com>
+
+	* exp_util.ads (Fully_Qualified_Name_String): Document that the
+	constructed literal is the entity name in all upper case.
+
 2013-04-11  Thomas Quinot  <quinot@adacore.com>
 
 	* sem_util.adb (Set_Entity_With_Style_Check): Fix logic of

gcc/ada/exp_ch4.adb

@@ -10054,9 +10054,10 @@ package body Exp_Ch4 is
 
    begin
       --  First remove check marks put by the semantic analysis on the type
-      --  conversion between array types. The front end expands these checks
-      --  explicitly, so they should not be set in the tree passed to the back
-      --  end.
+      --  conversion between array types. We need these checks, and they will
+      --  be generated by this expansion routine, but we do not depend on these
+      --  flags being set, and since we do intend to expand the checks in the
+      --  front end, we don't want them on the tree passed to the back end.
 
       if Is_Array_Type (Target_Type) then
          if Is_Constrained (Target_Type) then

gcc/ada/exp_util.ads

@@ -440,7 +440,8 @@ package Exp_Util is
 
    function Fully_Qualified_Name_String (E : Entity_Id) return String_Id;
    --  Generates the string literal corresponding to the fully qualified name
-   --  of entity E with an ASCII.NUL appended at the end of the name.
+   --  of entity E, in all upper case, with an ASCII.NUL appended at the end
+   --  of the name.
 
    procedure Generate_Poll_Call (N : Node_Id);
    --  If polling is active, then a call to the Poll routine is built,

gcc/ada/sem_prag.adb

@@ -6731,10 +6731,11 @@ package body Sem_Prag is
          --  | (STATE_NAME with PROPERTY_LIST)
 
          --  PROPERTY_LIST ::= PROPERTY {, PROPERTY}
-         --  PROPERTY                   ::= SIMPLE_PROPERTY
-         --                               | NAME_VALUE_PROPERTY
+         --  PROPERTY      ::= SIMPLE_PROPERTY | NAME_VALUE_PROPERTY
+
          --  SIMPLE_PROPERTY      ::= IDENTIFIER
          --  NAME_VALUE_PROPERTY  ::= IDENTIFIER => EXPRESSION
+
          --  STATE_NAME ::= DEFINING_IDENTIFIER
 
          when Pragma_Abstract_State => Abstract_State : declare
@@ -8878,15 +8879,16 @@ package body Sem_Prag is
 
          --  pragma Depends (DEPENDENCY_RELATION);
 
-         --  DEPENDENCY_RELATION ::= null
+         --  DEPENDENCY_RELATION ::=
+         --    null
          --  | DEPENDENCY_CLAUSE {, DEPENDENCY_CLAUSE}
+
          --  DEPENDENCY_CLAUSE ::= OUTPUT_LIST =>[+] INPUT_LIST
-         --  OUTPUT_LIST         ::= null
-         --                        | OUTPUT
-         --                        | (OUTPUT {, OUTPUT})
-         --  INPUT_LIST          ::= null
-         --                        | INPUT
-         --                        | (INPUT {, INPUT})
+
+         --  OUTPUT_LIST ::= null | OUTPUT | (OUTPUT {, OUTPUT})
+
+         --  INPUT_LIST ::= null | INPUT | (INPUT {, INPUT})
+
          --  OUTPUT ::= NAME | FUNCTION_RESULT
          --  INPUT  ::= NAME
 
@@ -8918,6 +8920,7 @@ package body Sem_Prag is
             function Entity_Of (N : Node_Id) return Entity_Id;
             --  Return the entity of N or Empty. If N is a renaming, find the
             --  entity of the root renamed object.
+            --  Surely this should not be buried here??? exp_util???
 
             procedure Normalize_Clause (Clause : Node_Id);
             --  Remove a self-dependency "+" from the input list of a clause.
@@ -9204,12 +9207,13 @@ package body Sem_Prag is
             ---------------
 
             function Entity_Of (N : Node_Id) return Entity_Id is
-               Id : Entity_Id := Entity (N);
+               Id : Entity_Id;
 
             begin
                --  Follow a possible chain of renamings to reach the root
                --  renamed object.
 
+               Id := Entity (N);
                while Present (Renamed_Object (Id)) loop
                   if Is_Entity_Name (Renamed_Object (Id)) then
                      Id := Entity (Renamed_Object (Id));
@@ -9279,6 +9283,7 @@ package body Sem_Prag is
                        (List : List_Id;
                         Id   : Entity_Id) return Boolean;
                      --  Determine whether List contains element Id
+                     --  Surely this should not be buried here??? exp_Util???
 
                      --------------
                      -- Contains --
@@ -10764,13 +10769,15 @@ package body Sem_Prag is
 
          --  pragma Global (GLOBAL_SPECIFICATION)
 
-         --  GLOBAL_SPECIFICATION ::= null
+         --  GLOBAL_SPECIFICATION ::=
+         --    null
          --  | GLOBAL_LIST
          --  | MODED_GLOBAL_LIST {, MODED_GLOBAL_LIST}
+
          --  MODED_GLOBAL_LIST ::= MODE_SELECTOR => GLOBAL_LIST
+
          --  MODE_SELECTOR ::= Input | Output | In_Out | Contract_In
-         --  GLOBAL_LIST          ::= GLOBAL_ITEM
-         --                         | (GLOBAL_ITEM {, GLOBAL_ITEM})
+         --  GLOBAL_LIST   ::= GLOBAL_ITEM | (GLOBAL_ITEM {, GLOBAL_ITEM})
          --  GLOBAL_ITEM   ::= NAME
 
          when Pragma_Global => Global : declare
@@ -10780,12 +10787,11 @@ package body Sem_Prag is
             --  A list containing the entities of all the items processed so
             --  far. It plays a role in detecting distinct entities.
 
-            --  Flags used to verify the consistency of modes
-
             Contract_Seen : Boolean := False;
             In_Out_Seen   : Boolean := False;
             Input_Seen    : Boolean := False;
             Output_Seen   : Boolean := False;
+            --  Flags used to verify the consistency of modes
 
             procedure Analyze_Global_List
               (List        : Node_Id;

gcc/ada/sem_res.adb

@@ -10936,6 +10936,7 @@ package body Sem_Res is
             Conversion_Error_N
               ("illegal operand for array conversion", Operand);
             return False;
+
          else
             return Valid_Array_Conversion;
          end if;