ada: Reject limited objects in array and record delta aggregates
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 14 Oct 2021 21:31:21 +0000 (23:31 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 8 Nov 2022 08:34:58 +0000 (09:34 +0100)
commit79e02673e97d1a359ca1fc2dc3f6d51d0debe7d8
tree5f334700e08cf5fa03f53a3b64ce9dd9436437e9
parent2ff87e21c2053fe3a48ced3e2cc9ab1b900aceaa
ada: Reject limited objects in array and record delta aggregates

For array delta aggregates the base expression cannot be limited; for
record delta aggregates the base expression can only be limited if it is
a newly constructed object.

gcc/ada/

* sem_aggr.adb (Resolve_Delta_Aggregate): Implement rules related
to limited objects appearing as the base expression.
gcc/ada/sem_aggr.adb