From c3db4df1cb74f9290006f2d744c25b3f255c0274 Mon Sep 17 00:00:00 2001 From: Ed Schonberg Date: Wed, 20 Aug 2008 16:28:08 +0200 Subject: [PATCH] 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 * 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 --- gcc/ada/sem_util.adb | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 5783d3c..7d8865c 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; -- 2.7.4