sem_ch3.adb (Constrain_Enumeration, [...]): remove constraint that subtype must come...

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.

From-SVN: r177325

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 974ff3f..c4f4d47 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,5 +1,11 @@
 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

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index d43fd27..ec14ece 100644 (file)
--- 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;