From: Ed Schonberg <schonberg@adacore.com>
Date: Wed, 20 Aug 2008 14:28:08 +0000 (+0200)
Subject: sem_util.adb (Set_Debug_Info_Needed): If the entity is a private type and the full... 
X-Git-Tag: releases/gcc-4.4.0~3028
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=c3db4df1cb74f9290006f2d744c25b3f255c0274;p=thirdparty%2Fgcc.git

sem_util.adb (Set_Debug_Info_Needed): If the entity is a private type and the full view is visible...

2008-08-20  Ed Schonberg  <schonberg@adacore.com>

	* sem_util.adb (Set_Debug_Info_Needed): If the entity is a private type
	and the full view is visible, set flag on full view as well.

From-SVN: r139306
---

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 5783d3c92e77..7d8865c98883 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -8971,6 +8971,16 @@ package body Sem_Util is
            and then not Needs_Debug_Info (E)
          then
             Set_Debug_Info_Needed (E);
+
+            --  For a private type, indicate that the full view also needs
+            --  debug information.
+
+            if Is_Type (E)
+              and then Is_Private_Type (E)
+              and then Present (Full_View (E))
+            then
+               Set_Debug_Info_Needed (Full_View (E));
+            end if;
          end if;
       end Set_Debug_Info_Needed_If_Not_Set;