From: Hristian Kirtchev <kirtchev@adacore.com>
Date: Thu, 31 Jul 2008 13:53:45 +0000 (+0200)
Subject: exp_disp.adb (Prim_Op_Kind): Retrieve the full view when a private tagged type is... 
X-Git-Tag: releases/gcc-4.4.0~3557
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2653cbda9e00269e7668ec10b38215c59bc8cd10;p=thirdparty%2Fgcc.git

exp_disp.adb (Prim_Op_Kind): Retrieve the full view when a private tagged type is completed by a concurrent type.

2008-07-31  Hristian Kirtchev  <kirtchev@adacore.com>

	* exp_disp.adb (Prim_Op_Kind): Retrieve the full view when a private
	tagged type is completed by a concurrent type.

From-SVN: r138411
---

diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb
index 864206951f64..ac25171abf7a 100644
--- a/gcc/ada/exp_disp.adb
+++ b/gcc/ada/exp_disp.adb
@@ -6042,6 +6042,13 @@ package body Exp_Disp is
          Full_Typ := Corresponding_Concurrent_Type (Typ);
       end if;
 
+      --  When a private tagged type is completed by a concurrent type,
+      --  retrieve the full view.
+
+      if Is_Private_Type (Full_Typ) then
+         Full_Typ := Full_View (Full_Typ);
+      end if;
+
       if Ekind (Prim_Op) = E_Function then
 
          --  Protected function