[Ada] Emit debugging information for TSD object
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 23 Aug 2021 16:16:05 +0000 (18:16 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 4 Oct 2021 08:45:03 +0000 (08:45 +0000)
gcc/ada/

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

gcc/ada/exp_disp.adb

index 72f4e7c..6ade54b 100644 (file)
@@ -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