sem_ch3.adb (Analyze_Type_Declaration): Create freeze node for access type even if...

2009-04-15  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch3.adb (Analyze_Type_Declaration): Create freeze node for access
	type even if the designated type comes from a limited_with clause, to
	ensure that the symbol for the finalization list of the access type is
	created.

From-SVN: r146081

gcc/ada/ChangeLog

+2009-04-15  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_ch3.adb (Analyze_Type_Declaration): Create freeze node for access
+	type even if the designated type comes from a limited_with clause, to
+	ensure that the symbol for the finalization list of the access type is
+	created.
+
 2009-04-10  Robert Dewar  <dewar@adacore.com>
 
 	* sem_warn.ads, sem_warn.adb (Check_Low_Bound_Tested): Catch more cases

gcc/ada/sem_ch3.adb

@@ -4002,7 +4002,17 @@ package body Sem_Ch3 is
             Set_First_Subtype_Link (Freeze_Node (B), T);
          end if;
 
-         if not From_With_Type (T) then
+         --  A type that is imported through a limited_with clause cannot
+         --  generate any code, and thus need not be frozen. However, an
+         --  access type with an imported designated type needs a finalization
+         --  list, which may be referenced in some other package that has
+         --  non-limited visibility on the designated type. Thus we must
+         --  create the finalization list at the point the access type is
+         --  frozen, to prevent unsatisfied references at link time.
+
+         if not From_With_Type (T)
+           or else Is_Access_Type (T)
+         then
             Set_Has_Delayed_Freeze (T);
          end if;
       end;