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

diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb
index a0b0f38..9af04a7 100644 (file)
--- 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);