This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug fortran/77352] New: ICE: verify_ssa failed
- From: "gerhard dot steinmetz dot fortran at t-online dot de" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 23 Aug 2016 17:31:51 +0000
- Subject: [Bug fortran/77352] New: ICE: verify_ssa failed
- Auto-submitted: auto-generated
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