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 974ff3fb7e7c2d3030d5d3f03bc923479f1f0a63..c4f4d47786e397fd3cb4300f6ebc13e57a268e48 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+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

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index d43fd271a9aad9d3e8eabdefe3c450994dd2e12c..ec14ece64485a3842979a11c9b687be965e75628 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;