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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 10d2f78..d6b4fa8 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,10 @@
+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

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 70d6ceb..620be02 100644 (file)
--- a/gcc/ada/sem_ch3.adb
+++ b/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;