https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118731
Bug ID: 118731
Summary: ICE with iterator in container aggregate
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: simon at pushface dot org
CC: dkm at gcc dot gnu.org
Target Milestone: ---
Created attachment 60364
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60364&action=edit
Source files
The compiler command is gcc -c -gnat2020 lsp-ada_configurations.adb
+===========================GNAT BUG DETECTED==============================+
| 15.0.1 20250126 (experimental) (x86_64-apple-darwin23) Assert_Failure failed
precondition from einfo-entities.ads:218|
| Error detected at lsp-ada_configurations.adb:36:6 |
| Compiling
/Users/simon/Developer/bugs/gcc/ada_language_server/src/lsp-ada_configurations.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. |
+==========================================================================+
Please include these source files with error report
There are 255 of them, so I’ve attached a zip.
