https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110314
Bug ID: 110314
Summary: Gnat failed assertion and Allocators with discriminant
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: franckbehaghel_gcc at protonmail dot com
CC: dkm at gcc dot gnu.org
Target Milestone: ---
With checks enabled, Gnat failed to build this file.
$ cat main_assertion_failed.adb
with Ada.Containers.Synchronized_Queue_Interfaces;
with Ada.Containers.Unbounded_Synchronized_Queues;
procedure main is
package Queue_Interfaces is new Ada.Containers.Synchronized_Queue_Interfaces
(Integer);
package Synchronized_Queues is new Ada.Containers.Unbounded_Synchronized_Queues
( Queue_Interfaces => Queue_Interfaces);
subtype Queue is Synchronized_Queues.Queue;
type Access_Type is access all Queue;
Q1 : Access_Type := new Queue;
Q2 : Access_Type := new Queue;
begin
null;
end Main;
$ gnatmake main_assertion_failed.adb
gcc -c main_assertion_failed.adb
+===========================GNAT BUG DETECTED==============================+
| 14.0.0 20230617 (experimental) (aarch64-unknown-linux-gnu) Assert_Failure
nlists.adb:172|
| Error detected at main_assertion_failed.adb:12:21 |
| Compiling main_assertion_failed.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. |
+==========================================================================+
It fails also with Compiler Explorer (https://godbolt.org/)
+===========================GNAT BUG DETECTED==============================+
| 14.0.0 20230619 (experimental) (x86_64-linux-gnu) Assert_Failure
nlists.adb:172|
| Error detected at example.adb:12:21 |
| Compiling <source> |
| 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. |
+==========================================================================+
regards,
