[Ada] Add warning on redundant others_clause in array aggregate
authorEd Schonberg <schonberg@adacore.com>
Thu, 24 May 2018 13:05:49 +0000 (13:05 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 24 May 2018 13:05:49 +0000 (13:05 +0000)
commit861e589e8b957713fb02b5db0773c39bed2dcc61
treec70a303f0872fe365859f4ad242d0978dd905b84
parent0347c01b136f864830d1ec9e8d9f1da0cb8029f7
[Ada] Add warning on redundant others_clause in array aggregate

This patch adds a warning on a redundant others_clause in an array aggregate
when all index positions are already specified in previous positional or named
associations. The warning is emitted when Warn_On_Redundant_Constructs is
enabled.

2018-05-24  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* exp_aggr.adb (Flatten): Add a warning on an others clause in an array
aggregate with static bounds when named associations cover all index
positions and the others clause is redundant.

gcc/testsuite/

* gnat.dg/others1.adb: New testcase.

From-SVN: r260657
gcc/ada/ChangeLog
gcc/ada/exp_aggr.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/others1.adb [new file with mode: 0644]