From 0f300ef506a9eb119d35435e7ba06cc8b4e22775 Mon Sep 17 00:00:00 2001 From: Ed Schonberg Date: Fri, 1 Aug 2008 09:38:45 +0200 Subject: [PATCH] exp_disp.adb (Expand_Interface_Conversion): If the target type is a tagged synchronized type, use corresponding record type. 2008-08-01 Ed Schonberg * exp_disp.adb (Expand_Interface_Conversion): If the target type is a tagged synchronized type, use corresponding record type. From-SVN: r138463 --- gcc/ada/exp_disp.adb | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb index ac25171abf7..461edc75a3d 100644 --- a/gcc/ada/exp_disp.adb +++ b/gcc/ada/exp_disp.adb @@ -766,6 +766,13 @@ package body Exp_Disp is Iface_Typ := Root_Type (Iface_Typ); end if; + -- If the target type is a tagged synchronized type, the dispatch table + -- info is in the correspondoing record type. + + if Is_Concurrent_Type (Iface_Typ) then + Iface_Typ := Corresponding_Record_Type (Iface_Typ); + end if; + pragma Assert (not Is_Static or else (not Is_Class_Wide_Type (Iface_Typ) and then Is_Interface (Iface_Typ))); -- 2.30.2