* [Bug target/114432] [13 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu
2024-03-22 13:13 [Bug target/114432] New: [13 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu doko at gcc dot gnu.org
@ 2024-03-22 14:23 ` rguenth at gcc dot gnu.org
2024-04-17 8:44 ` stefansf at gcc dot gnu.org
` (6 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu.org @ 2024-03-22 14:23 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114432
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |13.3
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug target/114432] [13 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu
2024-03-22 13:13 [Bug target/114432] New: [13 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu doko at gcc dot gnu.org
2024-03-22 14:23 ` [Bug target/114432] " rguenth at gcc dot gnu.org
@ 2024-04-17 8:44 ` stefansf at gcc dot gnu.org
2024-04-17 11:06 ` stefansf at gcc dot gnu.org
` (5 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: stefansf at gcc dot gnu.org @ 2024-04-17 8:44 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114432
Stefan Schulze Frielinghaus <stefansf at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2024-4-17
CC| |stefansf at gcc dot gnu.org
--- Comment #1 from Stefan Schulze Frielinghaus <stefansf at gcc dot gnu.org> ---
Reproducible via
$ wget https://www.codelabs.ch/download/libalog-0.6.2.tar.bz2
$ tar xf libalog-0.6.2.tar.bz2
$ gcc -c -x ada -gnatA -gnatygAdISuxo -gnatVa -gnatwal -gnatf -fstack-check
-gnato -g -O2 -fno-omit-frame-pointer -mbackchain -gnatwe -fPIC
libalog-0.6.2/src/alog-active_logger.adb
Started with r12-4926-g79fe28d2c4b785
Confirmed on trunk r14-9999-g9c7cf5d71f0716
@Doko does Debian use -mbackchain? I can reproduce this on Ubuntu even for z196
but -mbackchain and -fstack-check are required in order to fail. For me 12.3 is
failing, too, which matches with my bisect. How did you test 12.3?
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug target/114432] [13 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu
2024-03-22 13:13 [Bug target/114432] New: [13 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu doko at gcc dot gnu.org
2024-03-22 14:23 ` [Bug target/114432] " rguenth at gcc dot gnu.org
2024-04-17 8:44 ` stefansf at gcc dot gnu.org
@ 2024-04-17 11:06 ` stefansf at gcc dot gnu.org
2024-04-17 11:07 ` stefansf at gcc dot gnu.org
` (4 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: stefansf at gcc dot gnu.org @ 2024-04-17 11:06 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114432
--- Comment #2 from Stefan Schulze Frielinghaus <stefansf at gcc dot gnu.org> ---
Fails for function alog.active_logger.logging_taskT and trace 2 whose heads are
(gdb) call debug(ti->head)
(code_label 48 573 49 152 (nil) [2 uses])
(gdb) call debug(ti->eh_head)
(insn 57 765 58 (set (reg/f:DI 14 %r14 [orig:74 _39 ] [74])
(mem/f:DI (reg/f:DI 10 %r10 [orig:123 _task ] [123]) [0
_task_25(D)->parent+0 S8 A64]))
"libalog-0.6.2/src/alog-active_logger.adb":252:33 discrim 2 1477 {*movdi_64}
(expr_list:REG_EH_REGION (const_int 6 [0x6])
(nil)))
Looking at the trace there exists no insn with a ARGS_SIZE note which is why
gcc_assert (!ti->args_size_undefined || ti->args_size_defined_for_eh);
fails.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug target/114432] [13 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu
2024-03-22 13:13 [Bug target/114432] New: [13 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu doko at gcc dot gnu.org
` (2 preceding siblings ...)
2024-04-17 11:06 ` stefansf at gcc dot gnu.org
@ 2024-04-17 11:07 ` stefansf at gcc dot gnu.org
2024-04-22 15:45 ` stefansf at gcc dot gnu.org
` (3 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: stefansf at gcc dot gnu.org @ 2024-04-17 11:07 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114432
--- Comment #3 from Stefan Schulze Frielinghaus <stefansf at gcc dot gnu.org> ---
Created attachment 57971
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57971&action=edit
dwarf2cfi dump for alog-active_logger.adb
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug target/114432] [13 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu
2024-03-22 13:13 [Bug target/114432] New: [13 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu doko at gcc dot gnu.org
` (3 preceding siblings ...)
2024-04-17 11:07 ` stefansf at gcc dot gnu.org
@ 2024-04-22 15:45 ` stefansf at gcc dot gnu.org
2024-05-08 12:28 ` [Bug target/114432] [13/14/15 " rguenth at gcc dot gnu.org
` (2 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: stefansf at gcc dot gnu.org @ 2024-04-22 15:45 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114432
--- Comment #4 from Stefan Schulze Frielinghaus <stefansf at gcc dot gnu.org> ---
Ignore the previous comment. With -fstack-check and -mbackchain we have for
trace 2 an incoming edge from trace 1 (fallthrough) where
cur_trace->end_true_args_size == 48 and from further incoming edges as e.g.
from trace 7 where cur_trace->end_true_args_size == 0 which is why the
args_size is supposed to be undefined.
Interestingly, trace 2 resides in the function body whereas trace 7 resides in
the epilogue, i.e., we have a jump from the epilogue into the function body:
(note 597 810 634 NOTE_INSN_PROLOGUE_END)
...
(insn 635 677 566 (set (reg/f:DI 15 %r15)
(plus:DI (reg/f:DI 15 %r15)
(const_int 8216 [0x2018])))
"libalog-0.6.2/src/alog-active_logger.adb":244:4 1481 {*la_64}
(expr_list:REG_ARGS_SIZE (const_int 48 [0x30])
(nil)))
...
(code_label 48 573 49 152 (nil) [2 uses])
...
(note 673 768 599 NOTE_INSN_EPILOGUE_BEG)
...
(insn 159 163 160 (set (reg/f:DI 15 %r15)
(reg/f:DI 6 %r6 [orig:79 saved_stack.186_50 ] [79]))
"libalog-0.6.2/src/alog-active_logger.adb":260:0 discrim 10 1477 {*movdi_64}
(expr_list:REG_DEAD (reg/f:DI 6 %r6 [orig:79 saved_stack.186_50 ] [79])
(expr_list:REG_ARGS_SIZE (const_int 0 [0])
(nil))))
...
(jump_insn 645 644 646 (set (pc)
(label_ref 48)) 2170 {*jump64}
(nil)
-> 48)
This is also the case when -fno-shrink-wrap is used.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug target/114432] [13/14/15 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu
2024-03-22 13:13 [Bug target/114432] New: [13 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu doko at gcc dot gnu.org
` (4 preceding siblings ...)
2024-04-22 15:45 ` stefansf at gcc dot gnu.org
@ 2024-05-08 12:28 ` rguenth at gcc dot gnu.org
2024-05-08 12:29 ` rguenth at gcc dot gnu.org
2024-05-21 9:19 ` jakub at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu.org @ 2024-05-08 12:28 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114432
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[13 Regression] ICE in |[13/14/15 Regression] ICE
|connect_traces, at |in connect_traces, at
|dwarf2cfi.cc:3079 on |dwarf2cfi.cc:3079 on
|s390x-linux-gnu |s390x-linux-gnu
Priority|P3 |P2
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug target/114432] [13/14/15 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu
2024-03-22 13:13 [Bug target/114432] New: [13 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu doko at gcc dot gnu.org
` (5 preceding siblings ...)
2024-05-08 12:28 ` [Bug target/114432] [13/14/15 " rguenth at gcc dot gnu.org
@ 2024-05-08 12:29 ` rguenth at gcc dot gnu.org
2024-05-21 9:19 ` jakub at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu.org @ 2024-05-08 12:29 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114432
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2024-04-17 00:00:00 |2024-05-08
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug target/114432] [13/14/15 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu
2024-03-22 13:13 [Bug target/114432] New: [13 Regression] ICE in connect_traces, at dwarf2cfi.cc:3079 on s390x-linux-gnu doko at gcc dot gnu.org
` (6 preceding siblings ...)
2024-05-08 12:29 ` rguenth at gcc dot gnu.org
@ 2024-05-21 9:19 ` jakub at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: jakub at gcc dot gnu.org @ 2024-05-21 9:19 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114432
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|13.3 |13.4
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 13.3 is being released, retargeting bugs to GCC 13.4.
^ permalink raw reply [flat|nested] 9+ messages in thread