From: Piotr Trojanek <trojanek@adacore.com>
Date: Mon, 23 Mar 2020 22:39:10 +0000 (+0100)
Subject: [Ada] Detect overlapping actuals in entry calls
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c0cecc953a4a6b72ac9cf901707d98ab462e501e;p=gcc.git

[Ada] Detect overlapping actuals in entry calls

2020-06-12  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* sem_res.adb (Resolve_Entry_Call): Add call to
	Warn_On_Overlapping_Actuals.
---

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;
 
    -------------------------