[Bug fortran/72744] New: ICE in verify_ssa, at tree-ssa.c:1039

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

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

            Bug ID: 72744
           Summary: ICE in verify_ssa, at tree-ssa.c:1039
           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: ---

Using -fopenmp together with -O2|-O3 and -fstack-arrays
or with -Ofast alone for a test similar to pr49792 and pr71687 
hits 7 and older (also related to pr69281).


$ cat z1.f90
program p
   integer, parameter :: n = 20
   integer :: i, z(n), h(n)
   z = [(i, i=1,n)]
   h = [(i, i=n,1,-1)]
   call sub (n, h)
   if ( any(h/=z) ) call abort
end
subroutine sub (n, x)
   integer :: n, x(n)
!$omp parallel
   x(:) = x(n:1:-1)
!$omp end parallel
end


$ gfortran-7-20160724 -Ofast -fopenmp -c z1.f90
z1.f90:8:0:

 end

Error: type mismatch between an SSA_NAME and its symbol
z1.f90:8:0: Error: type mismatch between an SSA_NAME and its symbol
while verifying SSA_NAME A.13_20 in statement
# .MEM_19 = VDEF <.MEM_9>
    A.13_20 = __builtin_alloca_with_align (_18, 32);
z1.f90:8:0: internal compiler error: verify_ssa failed
0xe18a52 verify_ssa(bool, bool)
        ../../gcc/tree-ssa.c:1039
0xb43e7d execute_function_todo
        ../../gcc/passes.c:1971
0xb4469d do_per_function
        ../../gcc/passes.c:1655
0xb447eb execute_todo
        ../../gcc/passes.c:2016