[Ada] Fix check for bounds in aggregate expansion of allocator
authorEric Botcazou <ebotcazou@adacore.com>
Sat, 2 May 2020 15:45:21 +0000 (17:45 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 19 Jun 2020 08:17:26 +0000 (04:17 -0400)
commitd0e9248d9b8cddcf38faa096d62ddb7f129d3431
tree9120940fd77d5a98b26a0db51d4a49e76cff9f78
parentce716aaaa3efb464af4caa16d8f75814c401b593
[Ada] Fix check for bounds in aggregate expansion of allocator

2020-06-19  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* exp_aggr.adb (In_Place_Assign_OK): In an allocator context,
check the bounds of an array aggregate against those of the
designated type, except if the latter is unconstrained.
gcc/ada/exp_aggr.adb