[gcc(refs/users/aoliva/heads/testbase)] [Ada] Additional warnings on overlapping actuals of composite types

[Alexandre Oliva]

https://gcc.gnu.org/g:f95fb9d019147b2af0c8107d6c6a6e2b6034d9fe

commit f95fb9d019147b2af0c8107d6c6a6e2b6034d9fe
Author: Ed Schonberg <schonberg@adacore.com>
Date:   Mon Mar 9 16:36:55 2020 -0400

    [Ada] Additional warnings on overlapping actuals of composite types
    
    2020-06-10  Ed Schonberg  <schonberg@adacore.com>
    
    gcc/ada/
    
            * sem_warn.adb (Warn_On_Overlapping_Actuals): Add a warning when
            two actuals in a call overlap, both are composite types that may
            be passed by reference, and only one of them is writable.

Diff:
---
 gcc/ada/sem_warn.adb | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb
index b84e82e989a..a3195a19369 100644
--- a/gcc/ada/sem_warn.adb
+++ b/gcc/ada/sem_warn.adb
@@ -3742,10 +3742,26 @@ package body Sem_Warn is
       --  If appropriate warning switch is set, we also report warnings on
       --  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
+      --  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.
+
+      --  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
-         if Is_Covered_Formal (Form1) then
+         if Is_Covered_Formal (Form1)
+            or else not Is_Elementary_Type (Etype (Act1))
+         then
             Form2 := First_Formal (Subp);
             Act2  := First_Actual (N);
             while Present (Form2) and then Present (Act2) loop