From: Eric Botcazou <ebotcazou@adacore.com>
Date: Sat, 5 Mar 2022 18:18:18 +0000 (+0100)
Subject: [Ada] Fix incorrect call to inherited function with limited return type
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=c77e4873b14bd84fc6715db8980ce14886b28906;p=platform%2Fupstream%2Fgcc.git

[Ada] Fix incorrect call to inherited function with limited return type

This is a return convention mismatch coming from a discrepancy of the
Returns_By_Ref flag for the inherited function.

gcc/ada/

	* sem_ch3.adb (Derive_Subprogram): For a function, also copy the
	Returns_By_Ref flag from the parent.
---

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index b81216c..054648b 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -16333,6 +16333,7 @@ package body Sem_Ch3 is
 
       if Ekind (New_Subp) = E_Function then
          Set_Mechanism (New_Subp, Mechanism (Parent_Subp));
+         Set_Returns_By_Ref (New_Subp, Returns_By_Ref (Parent_Subp));
       end if;
 
       --  Ada 2022 (AI12-0279): If a Yield aspect is specified True for a