[gcc(refs/users/guojiufu/heads/guojiufu-branch)] [Ada] Detect overlapping actuals in entry calls

[Jiu Fu Guo]

https://gcc.gnu.org/g:c0cecc953a4a6b72ac9cf901707d98ab462e501e

commit c0cecc953a4a6b72ac9cf901707d98ab462e501e
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Mon Mar 23 23:39:10 2020 +0100

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