From 7a93c64b0a766604063dcdf5adf60ae3b9c36fea Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Thu, 4 Aug 2011 08:03:23 +0000 Subject: [PATCH] sem_ch3.adb (Constrain_Enumeration, [...]): remove constraint that subtype must come from source code to be in ALFA... 2011-08-04 Yannick Moy * sem_ch3.adb (Constrain_Enumeration, Constrain_Integer): remove constraint that subtype must come from source code to be in ALFA, so that anonymous subtypes can be in ALFA too. From-SVN: r177325 --- gcc/ada/ChangeLog | 6 ++++++ gcc/ada/sem_ch3.adb | 8 ++------ 2 files changed, 8 insertions(+), 6 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 974ff3fb7e7..c4f4d47786e 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2011-08-04 Yannick Moy + + * sem_ch3.adb (Constrain_Enumeration, Constrain_Integer): remove + constraint that subtype must come from source code to be in ALFA, so + that anonymous subtypes can be in ALFA too. + 2011-08-04 Yannick Moy * sem_ch3.adb (Analyze_Object_Declaration): remove obsolete addition of diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index d43fd271a9a..ec14ece6448 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -11592,9 +11592,7 @@ package body Sem_Ch3 is -- entity of its subtype mark is in ALFA. This is reversed later if the -- range of the subtype is not static. - if Nkind (Original_Node (Parent (Def_Id))) = N_Subtype_Declaration - and then Is_In_ALFA (T) - then + if Is_In_ALFA (T) then Set_Is_In_ALFA (Def_Id); end if; @@ -11824,9 +11822,7 @@ package body Sem_Ch3 is -- entity of its subtype mark is in ALFA. This is reversed later if the -- range of the subtype is not static. - if Nkind (Original_Node (Parent (Def_Id))) = N_Subtype_Declaration - and then Is_In_ALFA (T) - then + if Is_In_ALFA (T) then Set_Is_In_ALFA (Def_Id); end if; -- 2.30.2