[multiple changes]

2011-10-13  Sergey Rybin  <rybin@adacore.com>

	* gnat_ugn.texi: Minor correction.

2011-10-13  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch8.adb: Minor error message improvement.

2011-10-13  Robert Dewar  <dewar@adacore.com>

	* a-cbprqu.adb, a-ciorma.adb, exp_ch3.adb: Minor reformatting.

From-SVN: r179905

gcc/ada/ChangeLog

+2011-10-13  Sergey Rybin  <rybin@adacore.com>
+
+	* gnat_ugn.texi: Minor correction.
+
+2011-10-13  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_ch8.adb: Minor error message improvement.
+
+2011-10-13  Robert Dewar  <dewar@adacore.com>
+
+	* a-cbprqu.adb, a-ciorma.adb, exp_ch3.adb: Minor reformatting.
+
 2011-10-13  Gary Dismukes  <dismukes@adacore.com>
 
 	* exp_ch5.adb (Expand_N_Loop_Statement): For the transformation

gcc/ada/a-cbprqu.adb

@@ -80,8 +80,10 @@ package body Ada.Containers.Bounded_Priority_Queues is
       begin
          C := List.Container.First;
          while Has_Element (C) loop
-            --  ???
+
+            --  ??? why is following commented out ???
             --  if Before (P, Get_Priority (List.Constant_Reference (C))) then
+
             if Before (P, Get_Priority (Element (C))) then
                List.Container.Insert (C, New_Item);
                exit;
@@ -109,7 +111,9 @@ package body Ada.Containers.Bounded_Priority_Queues is
         (List : List_Type) return Queue_Interfaces.Element_Type
       is
       begin
+
          --  Use Constant_Reference for this.  ???
+
          return List.Container.First_Element;
       end First_Element;
 

gcc/ada/a-ciorma.adb

@@ -1152,7 +1152,6 @@ package body Ada.Containers.Indefinite_Ordered_Maps is
       return Reference_Type
    is
       Node : aliased Element_Type := Element (Container, Key);
-
    begin
       return (Element => Node'Access);
    end Reference;

gcc/ada/exp_ch3.adb

@@ -4207,11 +4207,10 @@ package body Exp_Ch3 is
       --  anonymous access-to-task pointers.
 
       elsif Ada_Version >= Ada_2005
-        and then
-          (Is_Record_Type (Def_Id)
-             or else
-               (Is_Array_Type (Def_Id)
-                  and then Is_Record_Type (Component_Type (Def_Id))))
+        and then (Is_Record_Type (Def_Id)
+                   or else
+                     (Is_Array_Type (Def_Id)
+                       and then Is_Record_Type (Component_Type (Def_Id))))
       then
          declare
             Comp  : Entity_Id;
@@ -4270,7 +4269,7 @@ package body Exp_Ch3 is
       end if;
 
       if Nkind (Type_Definition (Original_Node (N))) =
-           N_Derived_Type_Definition
+                                                   N_Derived_Type_Definition
         and then not Is_Tagged_Type (Def_Id)
         and then Present (Freeze_Node (Par_Id))
         and then Present (TSS_Elist (Freeze_Node (Par_Id)))

gcc/ada/gnat_ugn.texi

@@ -17503,7 +17503,7 @@ current directory)
 
 @item @samp{@var{gcc_switches}} is a list of switches for
 @command{gcc}. They will be passed on to all compiler invocations made by
-@command{gnatelim} to generate the ASIS trees. Here you can provide
+@command{gnatstub} to generate the ASIS trees. Here you can provide
 @option{^-I^/INCLUDE_DIRS=^} switches to form the source search path,
 use the @option{-gnatec} switch to set the configuration file,
 use the @option{-gnat05} switch if sources should be compiled in

gcc/ada/sem_ch8.adb

@@ -2398,7 +2398,15 @@ package body Sem_Ch8 is
       elsif not Is_Entity_Name (Nam)
         or else not Is_Overloadable (Entity (Nam))
       then
-         Error_Msg_N ("expect valid subprogram name in renaming", N);
+         --  Do not mention the renaming if it comes from an instance
+
+         if not Is_Actual then
+            Error_Msg_N ("expect valid subprogram name in renaming", N);
+
+         else
+            Error_Msg_NE ("no visible subprogram for formal&", N, Nam);
+         end if;
+
          return;
       end if;