diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-12-09 17:21:38 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-12-09 17:21:38 +0000 |
| commit | 6c611868232757ace0416bbf0f9f42178286b89e (patch) | |
| tree | 07c416f2b236d9b94721f5cc00cdceafd0083068 /gcc/ada | |
| parent | 93da04fb02f6538a691551d8cfe7aefadd2a1406 (diff) | |
| download | gcc-6c611868232757ace0416bbf0f9f42178286b89e.tar.gz | |
2005-12-05 Javier Miranda <miranda@adacore.com>
* sem_ch8.adb (Find_Type): In case of tagged types that are concurrent
types use the corresponding record type. This was not needed before
the implementation of Ada 2005 synchronized types because
concurrent types were never tagged types in Ada 95.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@108304 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index a0b0f38e603..9af04a761da 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -4684,7 +4684,13 @@ package body Sem_Ch8 is -- Case of tagged type else - C := Class_Wide_Type (Entity (Prefix (N))); + if Is_Concurrent_Type (T) then + C := Class_Wide_Type + (Corresponding_Record_Type (Entity (Prefix (N)))); + else + C := Class_Wide_Type (Entity (Prefix (N))); + end if; + Set_Entity_With_Style_Check (N, C); Generate_Reference (C, N); Set_Etype (N, C); |