[Bug fortran/77380] New: ICE in gfc_check_dependency, at fortran/dependency.c:1255

[gerhard.steinmetz.fortran@t-online.de]

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

            Bug ID: 77380
           Summary: ICE in gfc_check_dependency, at
                    fortran/dependency.c:1255
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gerhard.steinmetz.fortran@t-online.de
  Target Milestone: ---

Invalid code, compiled at level -Og, -Os, -O1 or higher,
with debugging compiler (--enable-checking=yes) :


$ cat  z1.f90
program p
   integer :: z(2)[*] = 1
   z(:)[1] = z(:)[*]
end


$ gfortran-7-20160821 -O2 -fcoarray=lib z1.f90
z1.f90:3:14:

    z(:)[1] = z(:)[*]
              1
Error: Coindex of codimension 1 must be a scalar at (1)
f951: internal compiler error: in gfc_check_dependency, at
fortran/dependency.c:1255
0x714b59 gfc_check_dependency(gfc_expr*, gfc_expr*, bool)
        ../../gcc/fortran/dependency.c:1255
0x7b0a2b optimize_assignment
        ../../gcc/fortran/frontend-passes.c:1181
0x7b0a2b optimize_code
        ../../gcc/fortran/frontend-passes.c:221
0x7b3459 gfc_code_walker(gfc_code**, int (*)(gfc_code**, int*, void*), int
(*)(gfc_expr**, int*, void*), void*)
        ../../gcc/fortran/frontend-passes.c:3392
0x7b44b4 optimize_namespace
        ../../gcc/fortran/frontend-passes.c:1005
0x7b4670 gfc_run_passes(gfc_namespace*)
        ../../gcc/fortran/frontend-passes.c:132
0x6eeeb7 gfc_resolve(gfc_namespace*)
        ../../gcc/fortran/resolve.c:15601
0x6da1aa resolve_all_program_units
        ../../gcc/fortran/parse.c:5855
0x6da1aa gfc_parse_file()
        ../../gcc/fortran/parse.c:6107
0x71c622 gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:198