[Bug ada/110488] [13/14 regression] deferred constant wrongly rejected

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Marc Poulhi?s <dkm@gcc.gnu.org>:

https://gcc.gnu.org/g:f6367fc211e52b3f7f8d0f2c481e20cb69839071

commit r14-4275-gf6367fc211e52b3f7f8d0f2c481e20cb69839071
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Sat Sep 16 20:29:20 2023 +0200

    ada: Fix deferred constant wrongly rejected

    This recent regression occurs when the nominal subtype of the constant is a
    discriminated record type with default discriminants.

    gcc/ada/
            PR ada/110488
            * sem_ch3.adb (Analyze_Object_Declaration): Do not build a default
            subtype for a deferred constant in the definite case too.