https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127880
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
CC| |ebotcazou at gcc dot gnu.org
Last reconfirmed| |2026-10-13
--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> The full source of the adacl_desktop crate (library, unit tests, and Alire
> project files) is attached. Because the crash only appears when the generic
> is instantiated inside the tests, a minimal set of files may not be
> sufficient to reproduce it.
The set of files listed in the bugbox is designed to be sufficient though (and
it is in this specific case). The trigger is the -gnata switch.
This fails much earlier when assertions are enabled:
eric@fomalhaut:~/Downloads/tmp> ~/install/gcc/bin/gcc -c
adacl_desktop_test-queue.adb
+===========================GNAT BUG DETECTED==============================+
| 17.0.0 20261012 (experimental) [master r17-5104-gdfba6b52f5c]
(x86_64-suse-linux) |
| Assert_Failure contracts.adb:4248 |
| Error detected at adacl-queue.ads:303:7 [adacl_desktop_test-queue.adb:28:4]|
| Compiling adacl_desktop_test-queue.adb |
