[Bug ada/106037] New: ICE with Aggregate aspect

[jesper.quorning at gmail dot com]

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.                                       |
+==========================================================================+