https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107305
Bug ID: 107305
Summary: 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 with r7 :
$ cat z1.c
unsigned a;
static double *d;
static _Bool b;
__GIMPLE int
foo (int n)
{
b = __builtin_add_overflow (n, *d, &a);
}
$ gcc-13-20221016 -c z1.c -fgimple
z1.c: In function 'foo':
z1.c:5:1: error: invalid argument to gimple call
5 | foo (int n)
| ^~~
*d
b = __builtin_add_overflow (n, *d, &a);
during GIMPLE pass: *warn_unused_result
z1.c:5:1: internal compiler error: 'verify_gimple' failed
0xf2c76d verify_gimple_in_seq(gimple*)
../../gcc/tree-cfg.cc:5301
0xdce2ca execute_function_todo
../../gcc/passes.cc:2093
0xdcebf2 execute_todo
../../gcc/passes.cc:2145
