diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-03-17 13:36:50 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-18 04:36:50 -0400 |
| commit | 1be46d12a7b76e62f25f3e4e148cda3a6c8948c3 (patch) | |
| tree | 08dd8f928478770fd8f2cb415ae4597eeecf5f93 /gcc/ada/sem_warn.adb | |
| parent | d94a2f5f1fcd1d864d67244157d8b29fbffa14a5 (diff) | |
| download | gcc-1be46d12a7b76e62f25f3e4e148cda3a6c8948c3.zip gcc-1be46d12a7b76e62f25f3e4e148cda3a6c8948c3.tar.gz gcc-1be46d12a7b76e62f25f3e4e148cda3a6c8948c3.tar.bz2 | |
[Ada] Warn about overlapping actuals in all versions of Ada
gcc/ada/
* sem_warn.adb (Warn_On_Overlapping_Actuals): Cleanup conditions
related to Ada_Version.
Diffstat (limited to 'gcc/ada/sem_warn.adb')
| -rw-r--r-- | gcc/ada/sem_warn.adb | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index 4ec96fc..23f2771 100644 --- a/gcc/ada/sem_warn.adb +++ b/gcc/ada/sem_warn.adb @@ -3725,11 +3725,6 @@ package body Sem_Warn is -- Start of processing for Warn_On_Overlapping_Actuals begin - - if Ada_Version < Ada_2012 and then not Warn_On_Overlap then - return; - end if; - -- Exclude calls rewritten as enumeration literals if Nkind (N) not in N_Subprogram_Call | N_Entry_Call_Statement then @@ -3823,14 +3818,13 @@ package body Sem_Warn is then null; - -- Under Ada 2012 we only report warnings on overlapping - -- arrays and record types if switch is set. + -- We only report warnings on overlapping arrays and record + -- types if switch is set. - elsif Ada_Version >= Ada_2012 + elsif not Warn_On_Overlap and then not (Is_Elementary_Type (Etype (Form1)) and then Is_Elementary_Type (Etype (Form2))) - and then not Warn_On_Overlap then null; @@ -3844,7 +3838,7 @@ package body Sem_Warn is Ada_Version < Ada_2012 - -- Overlap is only illegal in Ada 2012 in the case of + -- Overlap is only illegal since Ada 2012 and only for -- elementary types (passed by copy). For other types -- we always have a warning in all versions. This is -- clarified by AI12-0216. |