public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/108791] New: [12/13 Regression] ICE: verify_gimple failed
@ 2023-02-14 19:30 gscfq@t-online.de
  2023-02-14 19:31 ` [Bug c/108791] " gscfq@t-online.de
                   ` (9 more replies)
  0 siblings, 10 replies; 11+ messages in thread
From: gscfq@t-online.de @ 2023-02-14 19:30 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 108791
           Summary: [12/13 Regression] ICE: verify_gimple failed
           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 between 20210801 and 20210808, at -Ofast :
(gcc configured with --enable-checking=yes)


$ cat z1.c
double f (int *a(), int b, double *c, double *d)
{
  double s = 0;
  for (int *i = a; i < b; ++i, ++c)
    s += *c * d[*i];
  return s;
}


$ gcc-13-20230212 -c z1.c -Ofast
z1.c: In function 'f':
z1.c:4:17: warning: initialization of 'int *' from incompatible pointer type
'int * (*)()' [-Wincompatible-pointer-types]
    4 |   for (int *i = a; i < b; ++i, ++c)
      |                 ^
z1.c:4:22: warning: comparison between pointer and integer
    4 |   for (int *i = a; i < b; ++i, ++c)
      |                      ^
z1.c:1:8: error: type mismatch in 'addr_expr'
    1 | double f (int *a(), int b, double *c, double *d)
      |        ^
int * (*<T389>) ()

vector(4) int

_111 = &MEM <vector(4) int> [(int *)a_14(D) + ivtmp.31_54 * 1];
during GIMPLE pass: forwprop
z1.c:1:8: internal compiler error: verify_gimple failed
0xf85e0e verify_gimple_in_cfg(function*, bool, bool)
        ../../gcc/tree-cfg.cc:5648
0xe1df43 execute_function_todo
        ../../gcc/passes.cc:2091
0xe1e9c2 execute_todo
        ../../gcc/passes.cc:2145

^ permalink raw reply	[flat|nested] 11+ messages in thread
end of thread, other threads:[~2023-04-27 13:20 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-02-14 19:30 [Bug c/108791] New: [12/13 Regression] ICE: verify_gimple failed gscfq@t-online.de
2023-02-14 19:31 ` [Bug c/108791] " gscfq@t-online.de
2023-02-14 19:33 ` [Bug tree-optimization/108791] " pinskia at gcc dot gnu.org
2023-02-14 19:38 ` pinskia at gcc dot gnu.org
2023-02-15  8:37 ` rguenth at gcc dot gnu.org
2023-02-15 13:03 ` rguenth at gcc dot gnu.org
2023-02-16  7:31 ` cvs-commit at gcc dot gnu.org
2023-02-16  7:37 ` [Bug tree-optimization/108791] [12 " rguenth at gcc dot gnu.org
2023-02-23 14:47 ` [Bug tree-optimization/108791] [12 Regression] ICE: verify_gimple failed since r12-2733-g31855ba6b16cd138 marxin at gcc dot gnu.org
2023-04-27 13:19 ` cvs-commit at gcc dot gnu.org
2023-04-27 13:20 ` rguenth at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).