[Ada] Remove suppression for overlapping actuals in internal units
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 18 Mar 2020 17:25:41 +0000 (18:25 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 12 Jun 2020 08:29:18 +0000 (04:29 -0400)
2020-06-12  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_warn.adb (Warn_On_Overlapping_Actuals): Remove suppression
for internal units.

gcc/ada/sem_warn.adb

index 8ca6175703177509172e8194e067dd69ef72978c..415aaeed92064604c83963966b0d7e61c010203c 100644 (file)
@@ -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