public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "ro at gcc dot gnu.org" <gcc-bugzilla@gcc.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 [thread overview] Message-ID: <bug-115106-4@http.gcc.gnu.org/bugzilla/> (raw) https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115106 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: +===========================GNAT BUG DETECTED==============================+ | 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. | +==========================================================================+ 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 -Wextra -Wall -dumpdir ada/ -dumpbase ali.adb -dumpbase-ext .adb -gnatwa -fchecking=1 -g -fchecking=1 -gnatpg -gnatwns -gnata -fno-PIE -mtune=generic -march=pentium4 -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_rehash () #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.
next reply other threads:[~2024-05-15 15:09 UTC|newest] Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top 2024-05-15 15:09 ro at gcc dot gnu.org [this message] 2024-05-15 17:16 ` [Bug ada/115106] " rguenth at gcc dot gnu.org 2024-05-15 21:17 ` ro at gcc dot gnu.org 2024-05-16 9:14 ` ebotcazou at gcc dot gnu.org 2024-05-16 11:57 ` iains at gcc dot gnu.org 2024-05-16 11:58 ` iains at gcc dot gnu.org 2024-05-18 11:21 ` iains at gcc dot gnu.org 2024-05-18 13:48 ` ebotcazou at gcc dot gnu.org 2024-05-18 17:21 ` iains at gcc dot gnu.org 2024-05-18 18:06 ` ebotcazou at gcc dot gnu.org 2024-05-21 8:56 ` ro at CeBiTec dot Uni-Bielefeld.DE
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=bug-115106-4@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).