diff options
| author | Yannick Moy <moy@adacore.com> | 2011-08-04 08:03:23 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 10:03:23 +0200 |
| commit | 7a93c64b0a766604063dcdf5adf60ae3b9c36fea (patch) | |
| tree | 643b41708c70f46d014d7f69f52f3c600aa9cc90 /gcc/ada | |
| parent | e9a1ed9bed46e92e18d754d6956602f63ad73623 (diff) | |
| download | gcc-7a93c64b0a766604063dcdf5adf60ae3b9c36fea.zip gcc-7a93c64b0a766604063dcdf5adf60ae3b9c36fea.tar.gz gcc-7a93c64b0a766604063dcdf5adf60ae3b9c36fea.tar.bz2 | |
sem_ch3.adb (Constrain_Enumeration, [...]): remove constraint that subtype must come from source code to be in ALFA...
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
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 8 |
2 files changed, 8 insertions, 6 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 974ff3f..c4f4d47 100644 --- 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 --- 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; |