https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110488
--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-13 branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>: https://gcc.gnu.org/g:35787c3093fa611ba46008e94f329000d6042be4 commit r13-7840-g35787c3093fa611ba46008e94f329000d6042be4 Author: Eric Botcazou <ebotca...@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.