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: gs...@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
