https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126069
Bug ID: 126069
Summary: Regression in Ada 2022 Aggregate aspect between GNAT
14.2 and GNAT 15.2
Product: gcc
Version: 15.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: [email protected]
CC: dkm at gcc dot gnu.org
Target Milestone: ---
Created attachment 64911
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64911&action=edit
Self-contained reproducers for two Aggregate aspect regressions
The attached archive contains two small, self-contained reproducers for
behaviour that appears to be a regression in the implementation of the Ada 2022
`Aggregate` aspect.
Both reproducers compile successfully with:
* GNAT Pro 23.0
* GNAT 14.2
and fail with GNAT 15.2.
The archive contains:
* **Reproducer 1** (`problem1_empty_constant`) – demonstrates the rejection of
a constant specified for the `Empty` aggregate operation.
* **Reproducer 2** (`problem2_add_unnamed`) – works around the first issue and
demonstrates an unexpected type resolution for `Add_Unnamed`.
A `README.txt` file included in the archive describes both reproducers, the
compiler versions used, the observed behaviour, and the Ada 2022 Reference
Manual paragraphs that led me to believe the examples are legal Ada 2022.
