From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id ABEB33858D33; Tue, 20 Jun 2023 20:28:46 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org ABEB33858D33 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1687292926; bh=GVsAiYkoXWrDnr/VMJptm8W9sN1wjpp3AOF/jhP0nlE=; h=From:To:Subject:Date:In-Reply-To:References:From; b=MWPEebXo0KQ+NnUHxKQvSg/H/5GartOA988eX0Q00RqDA6o0rZmtuUPjQKKo3ATA8 UYzLGR549Tg1zbElSVet6/fOm7ghLGs4Vie0SHK/Vaze1V3p5UBFbnuyeIQfdiuwca ppnZ8/F9q9pXHQu4fEZfK0rvn3HZDdjw4/n/okcc= From: "franckbehaghel_gcc at protonmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug ada/110314] Gnat failed assertion and Allocators with discriminant Date: Tue, 20 Jun 2023 20:28:46 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed 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: NEW 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: Message-ID: In-Reply-To: References: 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 --- Comment #2 from Franck Behaghel --- >This is new in 14, was OK when forking 13. >https://ada.godbolt.org/z/TvbPxYfnP >Currently bisecting. Marc, Released version may have checks disabled : If the file gcc/DEV-PHASE contains experimental, the configure script set --enable-checking=3Dyes When releasing, gcc/DEV-PHASE is not experimental anymore. Hence, gcc 13.1 may seem not affected in Compiler Explorer. The stack trace : gcc -wrapper gdb,--args -c main_assertion_failed.adb (gdb) catch exception Catchpoint 1: all Ada exceptions Catchpoint 1, ADA.ASSERTIONS.ASSERTION_ERROR (nlists.adb:172) at <__gnat_debug_raise_exception> (e=3D0x2b80988 , message=3D...) at /opt/gcc/gcc/ada/libgnat/s-excdeb.adb:38 38 /opt/gcc/gcc/ada/libgnat/s-excdeb.adb: No such file or directory. (gdb) bt #0 <__gnat_debug_raise_exception> (e=3D0x2b80988 , message=3D...) at /opt/gcc/gcc/ada/libgnat/s-excdeb.adb:38 #1 0x0000000000cd3a2c in ada.exceptions.complete_occurrence (x=3Dx@entry=3D0x33089e0) at /opt/gcc/gcc/ada/libgnat/a-except.adb:1013 #2 0x0000000000cd495c in ada.exceptions.complete_and_propagate_occurrence (x=3Dx@entry=3D0x33089e0) at /opt/gcc/gcc/ada/libgnat/a-except.adb:1024 #3 0x0000000000cd49a4 in <__gnat_raise_exception> (e=3D0x2b80988 , message=3D...) at /opt/gcc/gcc/ada/libgnat/a-except.adb:1061 #4 0x0000000000cd700c in system.assertions.raise_assert_failure (msg=3D...= ) at /opt/gcc/gcc/ada/libgnat/s-assert.adb:44 #5 0x0000000000a90840 in nlists.append (node=3D19969, to=3Dto@entry=3D-999= 89077) at /opt/gcc/gcc/ada/nlists.adb:172 #6 0x0000000000b7ee34 in sem_ch4.analyze_allocator (n=3D853) at /opt/gcc/gcc/ada/sem_ch4.adb:615 #7 0x0000000000ae6d80 in sem.analyze (n=3Dn@entry=3D853) at /opt/gcc/gcc/ada/sem.adb:149 #8 0x0000000000b728e4 in sem_ch3.analyze_object_declaration (n=3Dn@entry= =3D852) at /opt/gcc/gcc/ada/sem_ch3.adb:4445 #9 0x0000000000ae6d5c in sem.analyze (n=3Dn@entry=3D852) at /opt/gcc/gcc/ada/sem.adb:359 #10 0x0000000000b591d0 in sem_ch3.analyze_declarations (l=3D-99999982) at /opt/gcc/gcc/ada/sem_ch3.adb:2707 #11 0x0000000000ba3c48 in sem_ch6.analyze_subprogram_body_helper (n=3D0) at /opt/gcc/gcc/ada/sem_ch6.adb:4631 #12 sem_ch6.analyze_subprogram_body (n=3Dn@entry=3D814) at /opt/gcc/gcc/ada/sem_ch6.adb:2245 #13 0x0000000000ae6ed4 in sem.analyze (n=3Dn@entry=3D814) at /opt/gcc/gcc/ada/sem.adb:564 #14 0x0000000000b10628 in sem_ch10.analyze_compilation_unit (n=3Dn@entry=3D= 798) at /opt/gcc/gcc/ada/sem_ch10.adb:930 #15 0x0000000000ae6a28 in sem.analyze (n=3Dn@entry=3D798) at /opt/gcc/gcc/ada/sem.adb:185 #16 0x0000000000ae7f44 in sem.semantics.do_analyze () at /opt/gcc/gcc/ada/sem.adb:1476 #17 sem.semantics (comp_unit=3D798) at /opt/gcc/gcc/ada/sem.adb:1672 #18 0x0000000000a6636c in frontend () at /opt/gcc/gcc/ada/frontend.adb:425 #19 0x0000000000ce2420 in gnat1drv () at /opt/gcc/gcc/ada/gnat1drv.adb:1236 #20 0x0000000000883c00 in gnat_parse_file () at /opt/gcc/gcc/ada/gcc-interface/misc.cc:118 #21 0x000000000128ba10 in compile_file () at /opt/gcc/gcc/toplev.cc:444 #22 0x00000000008594c4 in do_compile (no_backend=3Dfalse) at /opt/gcc/gcc/toplev.cc:2126 It seems to failed because gnat add the same "discriminant node" into 2 differents "nlists" which do not supports its.=