OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

sem_ch3.adb (Constrain_Enumeration, [...]): remove constraint that subtype must come from source code to be in ALFA...

Browse Source 
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
This commit is contained in:
Yannick Moy 2011-08-04 08:03:23 +00:00 committed by Arnaud Charlet
parent e9a1ed9bed
commit 7a93c64b0a
2 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ada/ChangeLog
View File

@ -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

8
gcc/ada/sem_ch3.adb
View File

@ -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;