https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106037
Bug ID: 106037
Summary: ICE with Aggregate aspect
Product: gcc
Version: 12.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: jesper.quorning at gmail dot com
Target Milestone: ---
Created attachment 53174
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53174&action=edit
Source from Description
This causes ICE with 12.1.0:
procedure Container_Aggregates is
type Array_Type is
array (1 .. 10) of Integer
with Aggregate => (Empty => Empty_Array);
Empty_Array : constant Array_Type := [1..10 => 123];
begin
null;
end Container_Aggregates;
ICE:
% gnatmake -gnat2022 container_aggregates.adb
gcc -c -gnat2022 container_aggregates.adb
+===========================GNAT BUG DETECTED==============================+
| 12.1.0 (x86_64-apple-darwin15) Program_Error sem_type.adb:837 explicit raise|
| Error detected at container_aggregates.adb:7:43 |
| Compiling container_aggregates.adb |
| Please submit a bug report; see https://gcc.gnu.org/bugs/ . |
| Use a subject line meaningful to you and us to track the bug. |
| Include the entire contents of this bug box in the report. |
| Include the exact command that you entered. |
| Also include sources listed below. |
+==========================================================================+
