From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id D973E3858D20; Wed, 15 May 2024 15:09:33 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D973E3858D20 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1715785773; bh=0LvWE2lXWIfUO4kn99CUj7c4YEhiwWXFOOw1TbbxGF0=; h=From:To:Subject:Date:From; b=s6WPYOcHISwxhlSsWHfGD8bxECDjzPwCzqK8xQAYzX/cX7wxCqcV4XhEZMUKYvaqr UoVjbMjp4yp5nTwEm1iuChxAOf9iPPGIY8LBJKSz9TnHP5MSpOY5dY0LS8o0NDLR6Z SXXDxQ9gFH1YyUaEqxnigRbqnlhHVsL+S3asSJYY= From: "ro at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug ada/115106] New: [15 regression] SEGV in sem_elab.internal_representation.nts_map.mutate_and_rehash Date: Wed, 15 May 2024 15:09:33 +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: 15.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: ro at gcc dot gnu.org 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 cf_gcchost cf_gcctarget cf_gccbuild 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=3D115106 Bug ID: 115106 Summary: [15 regression] SEGV in sem_elab.internal_representation.nts_map.mutate_and_re hash Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: ro at gcc dot gnu.org CC: dkm at gcc dot gnu.org Target Milestone: --- Host: i386-pc-solaris2.11 Target: i386-pc-solaris2.11 Build: i386-pc-solaris2.11 Between 20240514 (0a99ad5c52caa06c113b1889bbe6634812b89be5) and 20240515 (5609d77e683944439fae38323ecabc44a1eb4671), Ada bootstrap broke in stage 3 on Solaris/x86: +=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+ | 15.0.0 20240515 (experimental) [master 5609d77e683944439fae38323ecabc44a1eb4671] (i386-pc-solaris2.11) | | Constraint_Error SIGSEGV | | Error detected at table.adb:219:13 [ali.ads:315:4] | | Compiling /vol/gcc/src/hg/master/local/gcc/ada/ali.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+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. Consider also -gnatd.n switch (see debug.adb). /vol/gcc/src/hg/master/local/gcc/ada/gcc-interface/system.ads /vol/gcc/src/hg/master/local/gcc/ada/ali.adb /vol/gcc/src/hg/master/local/gcc/ada/ali.ads /vol/gcc/src/hg/master/local/gcc/ada/casing.ads /vol/gcc/src/hg/master/local/gcc/ada/namet.ads /vol/gcc/src/hg/master/local/gcc/ada/alloc.ads /vol/gcc/src/hg/master/local/gcc/ada/hostparm.ads /vol/gcc/src/hg/master/local/gcc/ada/types.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/ada.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/a-unccon.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/a-uncdea.ads /vol/gcc/src/hg/master/local/gcc/ada/table.ads ada/generated/gnatvsn.ads /vol/gcc/src/hg/master/local/gcc/ada/rident.ads ada/s-rident.ads ada/gnat.ads ada/g-dyntab.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/g-htable.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-htable.ads /vol/gcc/src/hg/master/local/gcc/ada/butil.ads /vol/gcc/src/hg/master/local/gcc/ada/debug.ads /vol/gcc/src/hg/master/local/gcc/ada/fname.ads /vol/gcc/src/hg/master/local/gcc/ada/opt.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-string.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-wchcon.ads /vol/gcc/src/hg/master/local/gcc/ada/osint.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-os_lib.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-stoele.ads /vol/gcc/src/hg/master/local/gcc/ada/output.ads ada/snames.ads ada/g-dynhta.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-strhas.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-stalib.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-exctab.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-unstyp.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-conca2.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-assert.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/a-assert.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-secsta.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-parame.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/a-except.ads /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-traent.ads /vol/gcc/src/hg/master/local/gcc/ada/table.adb /vol/gcc/src/hg/master/local/gcc/ada/libgnat/s-memory.ads compilation abandoned make: *** [/vol/gcc/src/hg/master/local/gcc/ada/gcc-interface/Make-lang.in:= 166: ada/ali.o] Error 1 gdb shows gnat1 -I - -I . -I ada/generated -I ada -I /vol/gcc/src/hg/master/local/gcc/ada -I ada/libgnat -I /vol/gcc/src/hg/master/local/gcc/ada/libgnat -I ada/gcc-interface -I /vol/gcc/src/hg/master/local/gcc/ada/gcc-interface -quiet -nostdinc -O2 -We= xtra -Wall -dumpdir ada/ -dumpbase ali.adb -dumpbase-ext .adb -gnatwa -fchecking= =3D1 -g -fchecking=3D1 -gnatpg -gnatwns -gnata -fno-PIE -mtune=3Dgeneric -march= =3Dpentium4 -gnatO ada/ali.o /vol/gcc/src/hg/master/local/gcc/ada/ali.adb -o ali.s Thread 2 received signal SIGSEGV, Segmentation fault. [Switching to Thread 1 (LWP 1)] 0x0920c153 in sem_elab.internal_representation.nts_map.mutate_and_rehash () (gdb) bt #0 0x0920c153 in sem_elab.internal_representation.nts_map.mutate_and_rehas= h () #1 0x09214c60 in sem_elab.internal_representation.scenario_representation_= of () #2 0x0921e024 in sem_elab.guaranteed_abe_processor.process_guaranteed_abe = () #3 0x0921e341 in sem_elab.record_elaboration_scenario () #4 0x092794b6 in sem_res.resolve_call () #5 0x0926937d in sem_res.resolve () #6 0x091c1287 in sem_ch6.analyze_procedure_call () #7 0x090f7b9a in sem.analyze () #8 0x091b96e9 in sem_ch5.analyze_statements () #9 0x091b98b9 in sem_ch5.analyze_if_statement.analyze_cond_then () #10 0x091badac in sem_ch5.analyze_if_statement () #11 0x090f7e0e in sem.analyze () #12 0x091b96e9 in sem_ch5.analyze_statements () #13 0x0912c037 in sem_ch11.analyze_handled_statements () #14 0x090f7a9b in sem.analyze () #15 0x091ce403 in sem_ch6.analyze_subprogram_body () #16 0x090f7714 in sem.analyze () #17 0x09179713 in sem_ch3.analyze_declarations () #18 0x091d7109 in sem_ch7.analyze_package_body () #19 0x090f7725 in sem.analyze () #20 0x09142d6b in sem_ch12.instantiate_package_body () #21 0x090758e6 in inline.instantiate_bodies.instantiate_body () #22 0x0907e30e in inline.instantiate_bodies () #23 0x0906e341 in frontend () #24 0x0932883d in gnat1drv () #25 0x08e7cbd2 in gnat_parse_file() () #26 0x0999df1f in compile_file() () #27 0x099a1427 in toplev::main(int, char**) () #28 0x0ae228c1 in main () Probably needs a reghunt.=