[Bug c/106861] New: [12/13 Regression] ICE in add_cfi_args_size, at dwarf2cfi.cc:501

[Bug c/106861] New: [12/13 Regression] ICE in add_cfi_args_size, at dwarf2cfi.cc:501

[gscfq@t-online.de]

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

            Bug ID: 106861
           Summary: [12/13 Regression] ICE in add_cfi_args_size, at
                    dwarf2cfi.cc:501
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started with r12 between 20210822 and 20210905, at -O0,
reduced from llvm-project-llvmorg-14.0.6/clang/test/CodeGen/ms_abi.c :


$ cat z1.c
struct foo {
  int x;
  float y;
  char z;
};
void __attribute__((ms_abi)) f1(void);
void __attribute__((sysv_abi)) f2(void);
void f3(void) {
  f1();
  f2();
}
void __attribute__((sysv_abi)) f6(__builtin_ms_va_list ap) {
  int b = __builtin_va_arg(ap, int);
  double _Complex c = __builtin_va_arg(ap, double _Complex);
  struct foo d = __builtin_va_arg(ap, struct foo);
  __builtin_ms_va_list ap2;
  __builtin_ms_va_copy(ap2, ap);
}


$ gcc-13-20220904 -c z1.c -mabi=ms -ftrapv -fnon-call-exceptions
-fprofile-generate
during RTL pass: dwarf2
z1.c: In function 'f6':
z1.c:18:1: internal compiler error: in add_cfi_args_size, at dwarf2cfi.cc:501
   18 | }
      | ^
0x9f7350 add_cfi_args_size
        ../../gcc/dwarf2cfi.cc:501
0x9fa82f connect_traces
        ../../gcc/dwarf2cfi.cc:3082
0x9fa82f execute_dwarf2_frame
        ../../gcc/dwarf2cfi.cc:3305
0x9fa82f execute
        ../../gcc/dwarf2cfi.cc:3794

[Bug target/106861] [12/13 Regression] ICE in add_cfi_args_size, at dwarf2cfi.cc:501

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.3

[Bug target/106861] [12/13 Regression] ICE in add_cfi_args_size, at dwarf2cfi.cc:501

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2022-09-07
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Adding -fexceptions, all binaries I have do ICE (4.9.0+).

[Bug target/106861] ICE in add_cfi_args_size, at dwarf2cfi.cc:501

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[12/13 Regression] ICE in   |ICE in add_cfi_args_size,
                   |add_cfi_args_size, at       |at dwarf2cfi.cc:501
                   |dwarf2cfi.cc:501            |
   Target Milestone|12.3                        |---

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
So it's not a regression, with GCC 12+ -fnon-call-exceptions adds -fexceptions
implicitely.