[Bug fortran/64771] New: ICE on invalid around check_dummy_characteristics / gfc_zero_size_array

[burnus at gcc dot gnu.org]

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

            Bug ID: 64771
           Summary: ICE on invalid around check_dummy_characteristics /
                    gfc_zero_size_array
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org

The following program ICEs with "-fcoarray=single" and "-fcoarray=lib":

f951: internal compiler error: Segmentation fault
0xb8505f crash_signal
        ../../gcc/toplev.c:383
0x62e82b gfc_zero_size_array
        ../../gcc/fortran/arith.c:1637
0x62e82b reduce_binary0
        ../../gcc/fortran/arith.c:1651
0x62e82b eval_intrinsic_f3
        ../../gcc/fortran/arith.c:1700
0x666365 check_dummy_characteristics
        ../../gcc/fortran/interface.c:1212



      interface
      subroutine conj_grad ( colidx,
     >                       reduce_recv_starts,
     >                       reduce_rrecv_starts )
      integer            colidx(5), rowstr(4+1)
      integer   reduce_recv_starts(55)[0:*]
      end subroutine
      end interface
         call conj_grad ( colidx,
     >                    reduce_rrecv_starts )
      end
      subroutine conj_grad ( colidx,
     >                       reduce_exch_proc,
     >                       reduce_rrecv_starts )
      integer            colidx(5), rowstr(4+1)
      integer   reduce_exch_proc(55)
      end