2008-05-29 Javier Miranda <miranda@adacore.com>

	* sem_util.adb:
	(Abstract_Interface_List): Add missing support for full type-declaration
	associated with synchronized types.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@136143 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index ddcc386..e8823b6 100644 (file)
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -99,6 +99,10 @@ package body Sem_Util is
 
          Nod := Parent (Base_Type (Typ));
 
+         if Nkind (Nod) = N_Full_Type_Declaration then
+            return Empty_List;
+         end if;
+
       elsif Ekind (Typ) = E_Record_Type_With_Private then
          if Nkind (Parent (Typ)) = N_Full_Type_Declaration then
             Nod := Type_Definition (Parent (Typ));