From: Piotr Trojanek Date: Wed, 18 Mar 2020 17:25:41 +0000 (+0100) Subject: [Ada] Remove suppression for overlapping actuals in internal units X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=879f6fa876b5b66f547a4b426145575433468572;p=gcc.git [Ada] Remove suppression for overlapping actuals in internal units 2020-06-12 Piotr Trojanek gcc/ada/ * sem_warn.adb (Warn_On_Overlapping_Actuals): Remove suppression for internal units. --- diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index 8ca61757031..415aaeed920 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