From: Gary Dismukes <dismukes@adacore.com>
Date: Tue, 7 Jan 2020 22:28:16 +0000 (-0500)
Subject: [Ada] Debug info not available on subp having a class-wide precondition
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8f8fc3840e9ac62a053fc8ebe0d25955a9ecf290;p=gcc.git

[Ada] Debug info not available on subp having a class-wide precondition

2020-06-03  Gary Dismukes  <dismukes@adacore.com>

gcc/ada/

	* sem_util.adb (Build_Class_Wide_Clone_Decl): Call
	Set_Debug_Info_Needed to set the Needs_Debug_Info flag on
	Clone_Id if the flag is set on Spec_Id.
---

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index b73c1f6e623..6c197b517d5 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -1618,6 +1618,13 @@ package body Sem_Util is
       --  wrapper call to inherited operation.
 
       Set_Class_Wide_Clone (Spec_Id, Clone_Id);
+
+      --  Inherit debug info flag from Spec_Id to Clone_Id to allow debugging
+      --  of the class-wide clone subprogram.
+
+      if Needs_Debug_Info (Spec_Id) then
+         Set_Debug_Info_Needed (Clone_Id);
+      end if;
    end Build_Class_Wide_Clone_Decl;
 
    -----------------------------