diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-08 15:10:27 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-08 15:10:27 +0200 |
| commit | b878c9389eaf6453f7586f4a8366b28c88240301 (patch) | |
| tree | 3110619a9538d02b4e23c7b82d7678826d368501 /gcc/ada/sem_aux.adb | |
| parent | 78e27dd3b46aff163952b555a647398cb803da53 (diff) | |
| download | gcc-b878c9389eaf6453f7586f4a8366b28c88240301.zip gcc-b878c9389eaf6453f7586f4a8366b28c88240301.tar.gz gcc-b878c9389eaf6453f7586f4a8366b28c88240301.tar.bz2 | |
[multiple changes]
2010-10-08 Ed Schonberg <schonberg@adacore.com>
* sem_aux.adb: Cleanup Is_Immutably_Limited_Type.
2010-10-08 Robert Dewar <dewar@adacore.com>
* exp_ch3.adb: Minor reformatting.
* exp_ch5.adb: Add comment.
From-SVN: r165177
Diffstat (limited to 'gcc/ada/sem_aux.adb')
| -rwxr-xr-x | gcc/ada/sem_aux.adb | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/gcc/ada/sem_aux.adb b/gcc/ada/sem_aux.adb index c1a41ce..bfe57f0 100755 --- a/gcc/ada/sem_aux.adb +++ b/gcc/ada/sem_aux.adb @@ -578,14 +578,13 @@ package body Sem_Aux is Btype : constant Entity_Id := Base_Type (Ent); begin - if Ekind (Btype) = E_Limited_Private_Type then - if Nkind (Parent (Btype)) = N_Formal_Type_Declaration then - return not In_Package_Body (Scope ((Btype))); - else - return True; - end if; + if Ekind (Btype) = E_Limited_Private_Type + and then Nkind (Parent (Btype)) = N_Formal_Type_Declaration + then + return not In_Package_Body (Scope ((Btype))); + end if; - elsif Is_Private_Type (Btype) then + if Is_Private_Type (Btype) then -- AI05-0063 : a type derived from a limited private formal type -- is not immutably limited in a generic body. |