From: Ed Schonberg Date: Mon, 23 Mar 2020 21:44:29 +0000 (-0400) Subject: [Ada] Diagnose illegal overriding indicators in protected bodies X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3ca9a460f02fc538d314682f456bf3519f311f97;p=gcc.git [Ada] Diagnose illegal overriding indicators in protected bodies 2020-06-12 Ed Schonberg gcc/ada/ * sem_ch6.adb (Check_Overriding_Indicatior): Reject an overriding indicator on a subprogram declared within a protected body. --- diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 9fb46d97474..5062f57b7ea 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -6515,6 +6515,19 @@ package body Sem_Ch6 is return; end if; + -- An overriding indication is illegal on a subprogram declared + -- in a protected body, where there is no operation to override. + + if (Must_Override (Spec) or else Must_Not_Override (Spec)) + and then Is_List_Member (Decl) + and then Present (Parent (List_Containing (Decl))) + and then Nkind (Parent (List_Containing (Decl))) = N_Protected_Body + then + Error_Msg_N + ("illegal overriding indication in protected body", Decl); + return; + end if; + -- The overriding operation is type conformant with the overridden one, -- but the names of the formals are not required to match. If the names -- appear permuted in the overriding operation, this is a possible