https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114116
--- Comment #11 from Lukas Grätz <lukas.gra...@tu-darmstadt.de> --- (In reply to H.J. Lu from comment #10) > (In reply to Lukas Grätz from comment #9) > > > > > Not on my computer. When I used -g I got: > > > > > > no_return_to_caller: > > .LFB0: > > .loc 1 16 1 view -0 > > .cfi_startproc > > .loc 1 17 3 view .LVU1 > > .loc 1 18 3 view .LVU2 > > .LVL0: > > .loc 1 18 26 discriminator 1 view .LVU3 > > .loc 1 16 1 is_stmt 0 view .LVU4 > > pushq %rbp > > .cfi_def_cfa_offset 16 > > .cfi_offset 6, -16 > > movl $array+67108860, %eax > > .loc 1 21 31 view .LVU5 > > xorl %r13d, %r13d > > .loc 1 16 1 view .LVU6 > > > > > > Still no .cfi_undefined 13. In principle, it should also be generated > > without -g, as the rest of .cfi_offset and friends. > > Did you apply my patch? I got > > .globl no_return_to_caller > .type no_return_to_caller, @function > no_return_to_caller: > .LFB0: > .file 1 "pr38534-1.c" > .loc 1 16 1 view -0 > .cfi_startproc > .loc 1 17 3 view .LVU1 > .loc 1 18 3 view .LVU2 > .LVL0: > .loc 1 18 26 discriminator 1 view .LVU3 > .loc 1 16 1 is_stmt 0 view .LVU4 > subq $24, %rsp > .cfi_undefined 15 > .cfi_undefined 14 > .cfi_undefined 13 > .cfi_undefined 12 > .cfi_undefined 6 > ... I applied it, double checked, make distclean, configure, make again. But your result seems different. Have you applied Jakub Jelinek's patch to save %rbp? I applied both patches. Perhaps there was some subtle merge-conflict with the two patches.
