diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-03-18 18:25:41 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-12 04:29:18 -0400 |
| commit | 879f6fa876b5b66f547a4b426145575433468572 (patch) | |
| tree | 5568bdd04e0dbc353f2026fa78578750def0fe1b /gcc | |
| parent | 1ed0551d5adebbadca367dc8284a6c54afee495f (diff) | |
| download | gcc-879f6fa876b5b66f547a4b426145575433468572.zip gcc-879f6fa876b5b66f547a4b426145575433468572.tar.gz gcc-879f6fa876b5b66f547a4b426145575433468572.tar.bz2 | |
[Ada] Remove suppression for overlapping actuals in internal units
2020-06-12 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_warn.adb (Warn_On_Overlapping_Actuals): Remove suppression
for internal units.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_warn.adb | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index 8ca6175..415aaee 100644 --- a/gcc/ada/sem_warn.adb +++ b/gcc/ada/sem_warn.adb @@ -3727,19 +3727,13 @@ package body Sem_Warn is -- overlapping parameters that are record types or array types. -- It is also worthwhile to warn on overlaps of composite objects when - -- only one of the formals is (in)-out. Note that the RM rule above is + -- only one of the formals is (in)-out. Note that the RM rule above is -- a legality rule. We choose to implement this check as a warning to - -- avoid major incompatibilities with legacy code. We exclude internal - -- sources from the warning, because subprograms in Container libraries - -- would be affected by the warning. + -- avoid major incompatibilities with legacy code. -- Note also that the rule in 6.4.1 (6.17/3), introduced by AI12-0324, -- is potentially more expensive to verify, and is not yet implemented. - if Is_Internal_Unit (Current_Sem_Unit) then - return; - end if; - Form1 := First_Formal (Subp); Act1 := First_Actual (N); while Present (Form1) and then Present (Act1) loop |