From c0cecc953a4a6b72ac9cf901707d98ab462e501e Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Mon, 23 Mar 2020 23:39:10 +0100 Subject: [PATCH] [Ada] Detect overlapping actuals in entry calls 2020-06-12 Piotr Trojanek gcc/ada/ * sem_res.adb (Resolve_Entry_Call): Add call to Warn_On_Overlapping_Actuals. --- gcc/ada/sem_res.adb | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 5fa74f0f48b..c60f46c81b6 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -8090,6 +8090,13 @@ package body Sem_Res is then Establish_Transient_Scope (N, Manage_Sec_Stack => True); end if; + + -- Now we know that this is not a call to a function that returns an + -- array type; moreover, we know the name of the called entry. Detect + -- overlapping actuals, just like for a subprogram call. + + Warn_On_Overlapping_Actuals (Nam, N); + end Resolve_Entry_Call; ------------------------- -- 2.30.2