[gcc(refs/users/aoliva/heads/testme)] [Ada] Debug info not available on subp having a class-wide precondition

[Alexandre Oliva]

https://gcc.gnu.org/g:8f8fc3840e9ac62a053fc8ebe0d25955a9ecf290

commit 8f8fc3840e9ac62a053fc8ebe0d25955a9ecf290
Author: Gary Dismukes <dismukes@adacore.com>
Date:   Tue Jan 7 17:28:16 2020 -0500

    [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:
---
 gcc/ada/sem_util.adb | 7 +++++++
 1 file changed, 7 insertions(+)

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;
 
    -----------------------------