https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117956
Bug ID: 117956
Summary: Assert failure in precondition, sinfo-nodes.ads
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 59820
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59820&action=edit
Reproducer
$ gnatmake -O0 -gnatA -gnatX -g -gnatwe -gnata -fPIC
-feliminate-unused-debug-symbols -c -u -f
libadalang-rewriting_implementation.adb
gcc -c -O0 -gnatA -gnatX -g -gnatwe -gnata -fPIC
-feliminate-unused-debug-symbols libadalang-rewriting_implementation.adb
+===========================GNAT BUG DETECTED==============================+
| 15.0.0 20241201 (experimental) (x86_64-apple-darwin23) Assert_Failure failed
precondition from sinfo-nodes.ads:4217|
| Error detected at libadalang-rewriting_implementation.ads:262:41 |
| Compiling libadalang-rewriting_implementation.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. |
+==========================================================================+
The source files (all 197 of them) are in the attachment.
This also happens with aarch64-apple-darwin.
Compiling without any switches doesn't trigger the error. I haven't
checked which of the switches does.
The switches are those used building ada_language_server v25.0.0.
