From: Ed Schonberg Date: Wed, 15 Apr 2009 08:37:21 +0000 (+0000) Subject: sem_ch3.adb (Analyze_Type_Declaration): Create freeze node for access type even if... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=28450a75258dfde4f1a590c89156b0c489d4d18c;p=gcc.git sem_ch3.adb (Analyze_Type_Declaration): Create freeze node for access type even if... 2009-04-15 Ed Schonberg * 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 10d2f78be8c..d6b4fa813e5 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,10 @@ +2009-04-15 Ed Schonberg + + * 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 * 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 70d6ceb4077..620be02a315 100644 --- 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;