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