public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/115106] New: [15 regression] SEGV in sem_elab.internal_representation.nts_map.mutate_and_rehash
@ 2024-05-15 15:09 ro at gcc dot gnu.org
  2024-05-15 17:16 ` [Bug ada/115106] " rguenth at gcc dot gnu.org
                   ` (9 more replies)
  0 siblings, 10 replies; 11+ messages in thread
From: ro at gcc dot gnu.org @ 2024-05-15 15:09 UTC (permalink / raw)
  To: gcc-bugs

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.

^ permalink raw reply	[flat|nested] 11+ messages in thread
end of thread, other threads:[~2024-05-21  8:56 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-05-15 15:09 [Bug ada/115106] New: [15 regression] SEGV in sem_elab.internal_representation.nts_map.mutate_and_rehash ro at gcc dot gnu.org
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

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).