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.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2058742

Title:
  libalog and dbusada ftbfs on s390x with gnat-13

To manage notifications about this bug go to:
https://bugs.launchpad.net/gcc/+bug/2058742/+subscriptions


-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to