From: Eric Botcazou <ebotcazou@adacore.com>
Date: Mon, 23 Aug 2021 16:16:05 +0000 (+0200)
Subject: [Ada] Emit debugging information for TSD object
X-Git-Tag: basepoints/gcc-13~4203
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=602176ae83ad265a1dfa061c8b85e24376c22028;p=thirdparty%2Fgcc.git

[Ada] Emit debugging information for TSD object

gcc/ada/

	* exp_disp.adb (Make_DT): Copy the Needs_Debug_Info flag from the
	type onto the TSD object.
---

diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb
index 72f4e7c90b72..6ade54be177b 100644
--- a/gcc/ada/exp_disp.adb
+++ b/gcc/ada/exp_disp.adb
@@ -5703,6 +5703,11 @@ package body Exp_Disp is
 
       Set_Is_True_Constant (TSD, Building_Static_DT (Typ));
 
+      --  The debugging information for type Ada.Tags.Type_Specific_Data is
+      --  needed by the debugger in order to display values of tagged types.
+
+      Set_Needs_Debug_Info (TSD, Needs_Debug_Info (Typ));
+
       --  Initialize or declare the dispatch table object
 
       if not Has_DT (Typ) then