ada: Enforce Aggregate aspect legality rule
authorSteve Baird <baird@adacore.com>
Tue, 29 Nov 2022 22:32:07 +0000 (14:32 -0800)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 1 Dec 2022 13:53:54 +0000 (14:53 +0100)
commit82cf82c4610dbf2a1021841fea3700a477246b79
tree7a37b76177e7f903090ac0d48f25c071d928bd98
parentf82d10a5485965788dad8258e8946c34d90953a0
ada: Enforce Aggregate aspect legality rule

Ada 2022 requires that an Aggregate aspect specification shall specify a
a name for at least one of Add_Named, Add_Unnamed, or Assign_Indexed.
Enforce this rule.

gcc/ada/

* sem_ch13.adb
(Validate_Aspect_Aggregate): Reject illegal case where none of
Add_Named, Add_Unnamed, and Assign_Indexed are specified.
gcc/ada/sem_ch13.adb