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

2023-09-26 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110488

Eric Botcazou  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #5 from Eric Botcazou  ---
Fixed on the mainline and 13 branch.

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

2023-09-26 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110488

--- Comment #4 from CVS Commits  ---
The releases/gcc-13 branch has been updated by Eric Botcazou
:

https://gcc.gnu.org/g:35787c3093fa611ba46008e94f329000d6042be4

commit r13-7840-g35787c3093fa611ba46008e94f329000d6042be4
Author: Eric Botcazou 
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.

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

2023-09-26 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110488

--- Comment #3 from CVS Commits  ---
The master branch has been updated by Marc Poulhi?s :

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

commit r14-4275-gf6367fc211e52b3f7f8d0f2c481e20cb69839071
Author: Eric Botcazou 
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.