diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2023-09-16 20:29:20 +0200 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-09-26 13:43:18 +0200 |
commit | f6367fc211e52b3f7f8d0f2c481e20cb69839071 (patch) | |
tree | 1795eb0f41f0f5e72fc6d67b097e24f159b3eb52 /gcc | |
parent | a1c78073051327da96f2321234e71d302a6df671 (diff) | |
download | gcc-f6367fc211e52b3f7f8d0f2c481e20cb69839071.zip gcc-f6367fc211e52b3f7f8d0f2c481e20cb69839071.tar.gz gcc-f6367fc211e52b3f7f8d0f2c481e20cb69839071.tar.bz2 |
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.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ada/sem_ch3.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 92902a7..c79d323 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -5048,9 +5048,11 @@ package body Sem_Ch3 is Apply_Length_Check (E, T); end if; - -- When possible, build the default subtype + -- When possible, and not a deferred constant, build the default subtype - elsif Build_Default_Subtype_OK (T) then + elsif Build_Default_Subtype_OK (T) + and then (not Constant_Present (N) or else Present (E)) + then if No (E) then Act_T := Build_Default_Subtype (T, N); else |