Mark anonymous subtypes of enumeration and integer kind as being in ALFA,
following the same rules as for source subtypes.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-04 Yannick Moy <m...@adacore.com>
* 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.
Index: sem_ch3.adb
===================================================================
--- sem_ch3.adb (revision 177324)
+++ sem_ch3.adb (working copy)
@@ -11592,9 +11592,7 @@
-- 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 @@
-- 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;
