From 5f43e7893006c3cc78d196ec1e7579216c177161 Mon Sep 17 00:00:00 2001
From: Yannick Moy <moy@adacore.com>
Date: Wed, 27 May 2020 17:30:23 +0200
Subject: [PATCH] [Ada] Fix assertion failure on (in-)out function parameter

gcc/ada/

	* sem_res.adb (Resolve_Actuals): Protect call to
	Is_Valued_Procedure.
---
 gcc/ada/sem_res.adb | 1 +
 1 file changed, 1 insertion(+)

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