From: Yannick Moy <moy@adacore.com>
Date: Wed, 27 May 2020 15:30:23 +0000 (+0200)
Subject: [Ada] Fix assertion failure on (in-)out function parameter
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5f43e7893006c3cc78d196ec1e7579216c177161;p=gcc.git

[Ada] Fix assertion failure on (in-)out function parameter

gcc/ada/

	* sem_res.adb (Resolve_Actuals): Protect call to
	Is_Valued_Procedure.
---

diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index f76366d944b..b5cdbb7593b 100644
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -4641,6 +4641,7 @@ package body Sem_Res is
                      --  This is for Starlet only though, so long obsolete.
 
                      if Mechanism (F) = By_Reference
+                       and then Ekind (Nam) = E_Procedure
                        and then Is_Valued_Procedure (Nam)
                      then
                         null;