From deb34fa91a4b0a8b1d8ff510a9d67a25e1a07a5e Mon Sep 17 00:00:00 2001 From: Javier Miranda Date: Thu, 24 Aug 2023 19:32:59 +0000 Subject: ada: Assertion failure adding extra formals to late overriding subp. gcc/ada/ * sem_ch6.adb (Parent_Subprogram): Complete assertion. --- gcc/ada/sem_ch6.adb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'gcc/ada/sem_ch6.adb') diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 297371a..612a9e9 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -8789,7 +8789,8 @@ package body Sem_Ch6 is and then Has_Controlling_Result (Subp_Id)) or else Has_Suffix (Ovr_E, 'P') or else Is_RACW_Stub_Type - (Find_Dispatching_Type (Subp_Id))); + (Find_Dispatching_Type (Subp_Id)) + or else No (Overridden_Operation (Ovr_E))); if Present (Overridden_Operation (Ovr_E)) then Ovr_E := Overridden_Operation (Ovr_E); -- cgit v1.1