https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121968

--- Comment #6 from Liam Powell <liam at liampwll dot com> ---
> Moreover, external files are missing, we need a self-contained reproducer

Attached above. `gcc -gnat2022 -c prunt-controller.adb` will trigger the bug.

This also appears to produce a different bug box on trunk, but that may just be
caused by my environment not being configured correctly:

+===========================GNAT BUG DETECTED==============================+
| 16.0.0 20250916 (experimental) (x86_64-pc-linux-gnu) Assert_Failure failed
precondition from einfo-entities.ads:219|
| Error detected at prunt-controller.ads:261:42                            |
| Compiling prunt-controller.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.                                       |
+==========================================================================+

Reply via email to