[Bug c/79116] New: ICE on cilkplus array notation with a _Cilk_for

[aldyh at gcc dot gnu.org]

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

            Bug ID: 79116
           Summary: ICE on cilkplus array notation with a _Cilk_for
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: aldyh at gcc dot gnu.org
  Target Milestone: ---

This is similar to pr70565 but fails in an entirely different manner in the C
front-end:

abulafia:/build/t/gcc$ cat b.c
int array[1024];
void foo()
{
  _Cilk_for (int i = 0; i < 512; ++i)
    array[:] = __sec_implicit_index(0);
}
abulafia:/build/t/gcc$ ./cc1 b.c -fcilkplus -quiet -I./
b.c: In function ‘foo’:
b.c:5:14: error: type mismatch in binary expression
     array[:] = __sec_implicit_index(0);
     ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
int

long int

int

D.1962 = 0 + D.1961;
b.c:5:14: internal compiler error: verify_gimple failed
0xed8e66 verify_gimple_in_seq(gimple*)
        /source/gcc/gcc/tree-cfg.c:4934
0xd62e0e execute_function_todo
        /source/gcc/gcc/passes.c:1967
0xd61e86 do_per_function
        /source/gcc/gcc/passes.c:1649
0xd62fc6 execute_todo
        /source/gcc/gcc/passes.c:2015
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.