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.fort...@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