[Ada] Additional warnings on overlapping actuals of composite types
authorEd Schonberg <schonberg@adacore.com>
Mon, 16 Mar 2020 15:25:14 +0000 (11:25 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 11 Jun 2020 09:53:49 +0000 (05:53 -0400)
commiteb85899d605dcfc4519bf764959d92672f0f0749
tree20d38e6295f806fed2727b1db1a6f034b6c299db
parent4127ebece723b172aeecacbba9b523af98cc646b
[Ada] Additional warnings on overlapping actuals of composite types

2020-06-11  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_warn.adb (Warn_On_Overlapping_Actuals): Simplify code,
remove inner predicate Is_Covered_Formal, preserve warning for
two overlapping composite types when only one is writable, and
for two overlapping and writable elementary types.
gcc/ada/sem_warn.adb