[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 f76366d944b6fd2f152d4544fbb4d329f8641c0c..b5cdbb7593b1972f67ceecd6383609787c95168d 100644 (file)
--- 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;