diff options
| author | Javier Miranda <miranda@adacore.com> | 2023-08-24 19:32:59 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-09-14 14:42:37 +0200 |
| commit | deb34fa91a4b0a8b1d8ff510a9d67a25e1a07a5e (patch) | |
| tree | bf6ff5b2ca3fc73ce4a49ca42b34c2b494f6bda3 | |
| parent | 9ea74d235c7e7816b996a17c61288f02ef767985 (diff) | |
| download | gcc-deb34fa91a4b0a8b1d8ff510a9d67a25e1a07a5e.zip gcc-deb34fa91a4b0a8b1d8ff510a9d67a25e1a07a5e.tar.gz gcc-deb34fa91a4b0a8b1d8ff510a9d67a25e1a07a5e.tar.bz2 | |
ada: Assertion failure adding extra formals to late overriding subp.
gcc/ada/
* sem_ch6.adb (Parent_Subprogram): Complete assertion.
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 3 |
1 files changed, 2 insertions, 1 deletions
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); |