* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177325
138bc75d-0d04-0410-961f-
82ee72b054a4
2011-08-04 Yannick Moy <moy@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.
+
+2011-08-04 Yannick Moy <moy@adacore.com>
+
* sem_ch3.adb (Analyze_Object_Declaration): remove obsolete addition of
reference for ALFA mode.
* lib-xref-alfa.adb, lib-xref.ads (Traverse_Compilation_Unit): make
-- 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;
-- 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;