https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71473
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Reduced testcase: void foo (double *a, double *b, double *c, int m, int o, int p) { _Cilk_for (int i = 0; i < p; ++i) a[i] += __sec_reduce_add (b[i:o] * c[m:o:-1]); } ICEs with both C and C++.