[multiple changes]

2010-06-17  Robert Dewar  <dewar@adacore.com>

	* sem_util.adb: Minor reformatting

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

	* sem.adb (Do_Withed_Unit): if the unit in the with_clause is a generic
	instance, the clause now denotes the instance body. Traverse the
	corresponding spec because there may be no other dependence that will
	force the traversal of its own context.

From-SVN: r160925

gcc/ada/ChangeLog

+2010-06-17  Robert Dewar  <dewar@adacore.com>
+
+	* sem_util.adb: Minor reformatting
+
+2010-06-17  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem.adb (Do_Withed_Unit): if the unit in the with_clause is a generic
+	instance, the clause now denotes the instance body. Traverse the
+	corresponding spec because there may be no other dependence that will
+	force the traversal of its own context.
+
 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
 
 	* sem_ch10.adb (Is_Ancestor_Unit): Subsidiary to

gcc/ada/sem.adb

@@ -1701,6 +1701,18 @@ package body Sem is
       procedure Do_Withed_Unit (Withed_Unit : Node_Id) is
       begin
          Do_Unit_And_Dependents (Withed_Unit, Unit (Withed_Unit));
+
+         --  If the unit in the with_clause is a generic instance, the clause
+         --  now denotes the instance body. Traverse the corresponding spec
+         --  because there may be no other dependence that will force the
+         --  traversal of its own context.
+
+         if Nkind (Unit (Withed_Unit)) = N_Package_Body
+           and then Is_Generic_Instance
+             (Defining_Entity (Unit (Library_Unit (Withed_Unit))))
+         then
+            Do_Withed_Unit (Library_Unit (Withed_Unit));
+         end if;
       end Do_Withed_Unit;
 
       ----------------------------

gcc/ada/sem_util.adb

@@ -1699,8 +1699,8 @@ package body Sem_Util is
 
             Next_Entity (Id);
 
-            --  For a type declared in System, some of its operations
-            --  may appear in  the target-specific extension to System.
+            --  For a type declared in System, some of its operations may
+            --  appear in the target-specific extension to System.
 
             if No (Id)
               and then Chars (B_Scope) = Name_System