[Bug middle-end/57393] New: [4.8 Regression] error: definition in block 4 follows the use / internal compiler error: verify_ssa failed

["Joost.VandeVondele at mat dot ethz.ch" <gcc-bugzilla at gcc dot gnu dot org>]

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.