[Bug ada/99095] [10/11 regression] issue with function returning unconstrained array of limited record

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99095

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Eric Botcazou
<ebotcazou@gcc.gnu.org>:

https://gcc.gnu.org/g:7297af89ea22c1a1da8609d811e100cf73e574d6

commit r10-9402-g7297af89ea22c1a1da8609d811e100cf73e574d6
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Tue Mar 2 17:58:46 2021 +0100

    Fix PR ada/99095

    This is a regression present on the mainline and 10 branch, where we fail
    to make the bounds explicit for the return value of a function returning
    an unconstrained array of a limited record type.

    gcc/ada/
            PR ada/99095
            * sem_ch8.adb (Check_Constrained_Object): Restrict again the
special
            optimization for limited types to non-array types except in the
case
            of an extended return statement.
    gcc/testsuite/
            * gnat.dg/limited5.adb: New test.