[Bug fortran/77352] New: ICE: verify_ssa failed

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

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

            Bug ID: 77352
           Summary: ICE: verify_ssa failed
           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: ---

Needs options -fopenmp -fopenacc -Ofast (or -Os|1|2|3 -fstack-arrays) :


$ cat z1.f90
program p
   real, allocatable :: a(:,:), b(:)
   integer :: m=4, n=2
   allocate (a(m,n), b(m))
   a = 1.0
!$omp parallel workshare
   b(:) = [ sum(a, dim=1) ]
!$omp end parallel workshare
end


$ gfortran-7-20160821 -Ofast -fopenmp -fopenacc -c z1.f90
z1.f90:9:0:

 end

Error: type mismatch between an SSA_NAME and its symbol
z1.f90:9:0: Error: type mismatch between an SSA_NAME and its symbol
while verifying SSA_NAME A.32_27 in statement
# .MEM_26 = VDEF <.MEM_13>
    A.32_27 = __builtin_alloca_with_align (_25, 32);
z1.f90:9:0: internal compiler error: verify_ssa failed
0xe22af2 verify_ssa(bool, bool)
        ../../gcc/tree-ssa.c:1149
0xb4a38d execute_function_todo
        ../../gcc/passes.c:1971
0xb4abad do_per_function
        ../../gcc/passes.c:1655
0xb4ac75 execute_todo
        ../../gcc/passes.c:2014