From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id D91413858D38; Mon, 19 Jun 2023 19:50:21 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D91413858D38 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1687204221; bh=jfAoi8QlsQAvVKFE/YDZOAYMs/BBA0IkK9UxuscDAuE=; h=From:To:Subject:Date:From; b=hKi3tv/B0EyNSe7hGl/XF3hzguVfwian1AVS78ZVmo6LrnQUXyTlexdDfkqpUuAeT tXu54mOHFPa3dbFeEvYzKAAS6lpR84uUIKwdhR3TaaSp8K8S1FAgQGJtgbufmP4vVa Nmh88VE53gnWjk9LUsNZ3AQL17B3OgeRGVJEudCo= From: "franckbehaghel_gcc at protonmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug ada/110314] New: Gnat failed assertion and Allocators with discriminant Date: Mon, 19 Jun 2023 19:50:21 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: ada X-Bugzilla-Version: 14.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: franckbehaghel_gcc at protonmail dot com X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter cc target_milestone Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D110314 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=20 with Ada.Containers.Synchronized_Queue_Interfaces; with Ada.Containers.Unbounded_Synchronized_Queues; procedure main is=20 package Queue_Interfaces is new Ada.Containers.Synchronized_Queue_Interfa= ces (Integer); package Synchronized_Queues is new Ada.Containers.Unbounded_Synchronized_Qu= eues ( Queue_Interfaces =3D> Queue_Interfaces); subtype Queue is Synchronized_Queues.Queue;=20 type Access_Type is access all Queue; Q1 : Access_Type :=3D new Queue; Q2 : Access_Type :=3D new Queue; begin=20=20 null; end Main; $ gnatmake main_assertion_failed.adb=20 gcc -c main_assertion_failed.adb +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3DGNAT BUG DETECTED=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D+ | 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. | +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D+ It fails also with Compiler Explorer (https://godbolt.org/)=20 +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3DGNAT BUG DETECTED=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D+ | 14.0.0 20230619 (experimental) (x86_64-linux-gnu) Assert_Failure nlists.adb:172| | Error detected at example.adb:12:21 | | Compiling | | 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. | +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D+ regards,=