From 3ca9a460f02fc538d314682f456bf3519f311f97 Mon Sep 17 00:00:00 2001 From: Ed Schonberg Date: Mon, 23 Mar 2020 17:44:29 -0400 Subject: [PATCH] [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. --- gcc/ada/sem_ch6.adb | 13 +++++++++++++ 1 file changed, 13 insertions(+) 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 -- 2.30.2