https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104061
Bug ID: 104061
Summary: ICE: 'verify_gimple' failed (error: invalid operands
in binary operation)
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Keywords: openacc
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc 12.0.0 20220116 snapshot (g:90045c5df5b3c8853e7740fb72a11aead1c489bb) ICEs
when compiling the following testcase, reduced from
libgomp/testsuite/libgomp.oacc-c-c++-common/kernels-private-vars-loop-worker-7.c,
w/ -O1 -fopenacc -g --param openacc-kernels=decompose:
int arr_0;
void
foo (void)
{
#pragma acc kernels
{
int k;
#pragma acc loop
for (k = 0; k < 2; k++)
arr_0 += k;
}
}
% gcc-12.0.0 -O1 -fopenacc -g --param openacc-kernels=decompose -c gtlbiy5d.c
gtlbiy5d.c: In function 'foo':
gtlbiy5d.c:12:13: error: invalid operands in binary operation
12 | arr_0 += k;
| ~~~~~~^~~~
D.2132 = arr_0.0 + k;
during GIMPLE pass: lower
gtlbiy5d.c:12:13: internal compiler error: 'verify_gimple' failed
0xf0ca6d verify_gimple_in_seq(gimple*)
/var/tmp/portage/sys-devel/gcc-12.0.0_p20220116/work/gcc-12-20220116/gcc/tree-cfg.c:5211
0xdd22f0 execute_function_todo
/var/tmp/portage/sys-devel/gcc-12.0.0_p20220116/work/gcc-12-20220116/gcc/passes.c:2086
0xdd26fc execute_todo
/var/tmp/portage/sys-devel/gcc-12.0.0_p20220116/work/gcc-12-20220116/gcc/passes.c:2138
