http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57393
Bug ID: 57393
Summary: [4.8 Regression] error: definition in block 4 follows
the use / internal compiler error: verify_ssa failed
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: Joost.VandeVondele at mat dot ethz.ch
Created attachment 30179
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30179&action=edit
testcase
With current trunk:
gfortran -c -g -O2 -ffast-math -ffree-form -cpp bug.f90
bug.f90: In function ‘xb88_lr_adiabatic_lda_calc’:
bug.f90:1:0: error: definition in block 4 follows the use
SUBROUTINE xb88_lr_adiabatic_lda_calc(rho, norm_drho,&
^
for SSA_NAME: _83 in statement:
# DEBUG D#20 => _83 + _54
bug.f90:1:0: internal compiler error: verify_ssa failed
0xb37624 verify_ssa(bool)
../../gcc/gcc/tree-ssa.c:1046
0x903f12 execute_function_todo
../../gcc/gcc/passes.c:1970
0x90486d execute_todo
../../gcc/gcc/passes.c:2002
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
Since the testcase is actually a reduced version of PR57370 the bug could be
related. However, since this one is ICE-ing while the other hangs, I'm assuming
this is a different issue.
