[multiple changes]

2010-06-14  Javier Miranda  <miranda@adacore.com>

	* sem_ch3.adb (Derive_Subprograms): Remove over-restrictive assertion.

2010-06-14  Arnaud Charlet  <charlet@adacore.com>

	* ali.adb: Fix typo.
	* s-auxdec-vms-alpha.adb, scng.ads: Minor reformatting

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch12.adb: Make Mark_Context transitive, and apply to subprogram
	instances.

	* sem_ch8.adb (Find_Expanded_Name): If a candidate compilation unit in
	the context does not have a homonym of the selector, emit default
	error message.

From-SVN: r160728

gcc/ada/ChangeLog

+2010-06-14  Javier Miranda  <miranda@adacore.com>
+
+	* sem_ch3.adb (Derive_Subprograms): Remove over-restrictive assertion.
+
+2010-06-14  Arnaud Charlet  <charlet@adacore.com>
+
+	* ali.adb: Fix typo.
+	* s-auxdec-vms-alpha.adb, scng.ads: Minor reformatting
+
+2010-06-14  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_ch12.adb: Make Mark_Context transitive, and apply to subprogram
+	instances.
+
+	* sem_ch8.adb (Find_Expanded_Name): If a candidate compilation unit in
+	the context does not have a homonym of the selector, emit default
+	error message.
+
 2010-06-14  Robert Dewar  <dewar@adacore.com>
 
 	* sem.adb, sem_ch12.adb, sem_util.adb: Minor reformatting and

gcc/ada/ali.adb

@@ -205,7 +205,7 @@ package body ALI is
       --
       --    If Ignore_Special is False (normal case), the scan is terminated by
       --    a typeref bracket or an equal sign except for the special case of
-      --    an operator name starting with a double quite which is terminated
+      --    an operator name starting with a double quote which is terminated
       --    by another double quote.
       --
       --  It is an error to set both Ignore_Spaces and Ignore_Special to True.

gcc/ada/scng.ads

@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2009, Free Software Foundation, Inc.         --
 --                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
@@ -23,9 +23,9 @@
 --                                                                          --
 ------------------------------------------------------------------------------
 
---  This package contains a generic lexical analyzer. This is used
---  for scanning Ada source files or text files with an Ada-like syntax,
---  such as project files. It is instantiated in Scn and Prj.Err.
+--  This package contains a generic lexical analyzer. This is used for scanning
+--  Ada source files or text files with an Ada-like syntax, such as project
+--  files. It is instantiated in Scn and Prj.Err.
 
 with Casing; use Casing;
 with Styleg;

gcc/ada/sem_ch12.adb

@@ -8875,6 +8875,7 @@ package body Sem_Ch12 is
 
       if Present (Gen_Body_Id) then
          Gen_Body := Unit_Declaration_Node (Gen_Body_Id);
+         Mark_Context (Inst_Node, Gen_Decl);
 
          if Nkind (Gen_Body) = N_Subprogram_Body_Stub then
 
@@ -10410,6 +10411,27 @@ package body Sem_Ch12 is
 
          Next (Clause);
       end loop;
+
+      --  If the instance appears within another instantiated unit, check
+      --  whether it appears in the main unit, and indicate the need for
+      --  the body of the enclosing instance as well.
+
+      if In_Extended_Main_Code_Unit (Inst_Decl)
+        and then Instantiation_Location (Sloc (Inst_Decl)) /= No_Location
+        and then Present (Library_Unit (Cunit (Main_Unit)))
+        and then Cunit (Inst_CU) /= Library_Unit (Cunit (Main_Unit))
+      then
+         Clause := First (Context_Items (Library_Unit (Cunit (Main_Unit))));
+         while Present (Clause) loop
+            if Nkind (Clause) = N_With_Clause
+              and then  Library_Unit (Clause) = Cunit (Gen_CU)
+            then
+               Set_Withed_Body (Clause, Cunit (Gen_CU));
+            end if;
+
+            Next (Clause);
+         end loop;
+      end if;
    end Mark_Context;
 
    ---------------------

gcc/ada/sem_ch3.adb

@@ -12814,7 +12814,6 @@ package body Sem_Ch3 is
                    and then not Primitive_Names_Match (Subp, Act_Subp))
             then
                pragma Assert (not Is_Ancestor (Parent_Base, Generic_Actual));
-               pragma Assert (Is_Interface (Parent_Base));
 
                --  Remember that we need searching for all the pending
                --  primitives

gcc/ada/sem_ch8.adb

@@ -4785,11 +4785,17 @@ package body Sem_Ch8 is
                                 ("\use fully qualified name starting with"
                                   & " Standard to make& visible", N, H);
                               Error_Msg_Qual_Level := 0;
-                              exit;
+                              goto Done;
                            end if;
 
                            Next_Entity (Id);
                         end loop;
+
+                        --  If not found,  standard error message.
+
+                        Error_Msg_NE ("& not declared in&", N, Selector);
+
+                        <<Done>> null;
                      end;
 
                   else