[Bug rtl-optimization/97129] New: [11 Regression] ICE in maybe_record_trace_start, at dwarf2cfi.c:2405

[Bug rtl-optimization/97129] New: [11 Regression] ICE in maybe_record_trace_start, at dwarf2cfi.c:2405

[asolokha at gmx dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97129

            Bug ID: 97129
           Summary: [11 Regression] ICE in maybe_record_trace_start, at
                    dwarf2cfi.c:2405
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-11.0.0-alpha20200913 snapshot (g:2fd157813c4964033e156ccb7df8889cd2afee99)
ICEs when compiling the following testcase w/ -O2 -fwrapv
-fno-omit-frame-pointer:

void
s5 (void);

void
rp (int, int, int, int, int, int, int);

void
yv (int kh)
{
  if (kh)
    return;

  while (kh >= 0)
    {
      s5 ();
      ++kh;
    }
}

int __attribute__ ((naked))
p7 (int q3)
{
  yv (q3);
  rp (0, 0, 0, 0, 0, 0, 0);

  return 0;
}

% gcc-11.0.0 -O2 -fwrapv -fno-omit-frame-pointer -c glywli2q.c
during RTL pass: dwarf2
glywli2q.c: In function 'p7':
glywli2q.c:27:1: internal compiler error: in maybe_record_trace_start, at
dwarf2cfi.c:2405
   27 | }
      | ^
0x6197f4 maybe_record_trace_start
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200913/work/gcc-11-20200913/gcc/dwarf2cfi.c:2405
0x99ccdd scan_trace
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200913/work/gcc-11-20200913/gcc/dwarf2cfi.c:2605
0x99d4fc create_cfi_notes
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200913/work/gcc-11-20200913/gcc/dwarf2cfi.c:2758
0x99d4fc execute_dwarf2_frame
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200913/work/gcc-11-20200913/gcc/dwarf2cfi.c:3122
0x99d4fc execute
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200913/work/gcc-11-20200913/gcc/dwarf2cfi.c:3610

Inconsistent CFI state!
SHOULD have:
        .cfi_def_cfa 7, 8
        .cfi_offset 16, -8
DO have:
        .cfi_def_cfa 7, 24
        .cfi_offset 16, -8

[Bug rtl-optimization/97129] [11 Regression] ICE in maybe_record_trace_start, at dwarf2cfi.c:2405

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97129

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2020-09-21
             Target|                            |x86_64-*-*
     Ever confirmed|0                           |1
   Target Milestone|---                         |11.0
      Known to work|                            |10.2.1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.

[Bug rtl-optimization/97129] [11 Regression] ICE in maybe_record_trace_start, at dwarf2cfi.c:2405

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97129

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug rtl-optimization/97129] [11 Regression] ICE in maybe_record_trace_start, at dwarf2cfi.c:2405

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97129

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |uros at gcc dot gnu.org

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r8-2294-g2ec580be156c39a8 where naked attribute was added for x86.

[Bug rtl-optimization/97129] [11 Regression] ICE in maybe_record_trace_start, at dwarf2cfi.c:2405

[ubizjak at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97129

Uroš Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |INVALID
             Status|NEW                         |RESOLVED

--- Comment #3 from Uroš Bizjak <ubizjak at gmail dot com> ---
'naked'
     This attribute allows the compiler to construct the requisite
     function declaration, while allowing the body of the function to be
     assembly code.  The specified function will not have
     prologue/epilogue sequences generated by the compiler.  Only basic
     'asm' statements can safely be included in naked functions (*note
     Basic Asm::).  While using extended 'asm' or a mixture of basic
     'asm' and C code may appear to work, they cannot be depended upon
     to work reliably and are not supported.