diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-03-23 23:39:10 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-12 04:29:21 -0400 |
| commit | c0cecc953a4a6b72ac9cf901707d98ab462e501e (patch) | |
| tree | 370bd02f2193d14492b4ac9c89b545c905875f1e | |
| parent | e7148bc74f3bc306d28ce0ffee47f0876af99cc8 (diff) | |
| download | gcc-c0cecc953a4a6b72ac9cf901707d98ab462e501e.zip gcc-c0cecc953a4a6b72ac9cf901707d98ab462e501e.tar.gz gcc-c0cecc953a4a6b72ac9cf901707d98ab462e501e.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/sem_res.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 5fa74f0..c60f46c 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; ------------------------- |