[Bug tree-optimization/71170] [7 Regression] ICE in rewrite_expr_tree, at tree-ssa-reassoc.c:3898

[schwab@linux-m68k.org]

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

--- Comment #11 from Andreas Schwab <schwab@linux-m68k.org> ---
This breaks gfortran.dg/pr71252.f90 on m68k (but only with -ffast-math).

$ gcc/gfortran -Bgcc/ ../../gcc/gcc/testsuite/gfortran.dg/pr71252.f90 -O1
-ffast-math -S -o pr71252.s
../../gcc/gcc/testsuite/gfortran.dg/pr71252.f90:10:0:

   SUBROUTINE b97_lsd_eval(rho_set,deriv_set,grad_deriv,b97_params)

Error: definition in block 9 does not dominate use in block 7
for SSA_NAME: _299 in statement:
_373 = _299 * 2.0e+0;
../../gcc/gcc/testsuite/gfortran.dg/pr71252.f90:10:0: internal compiler error:
verify_ssa failed
0xd094fb verify_ssa(bool, bool)
        ../../gcc/tree-ssa.c:1039
0xa3a88b execute_function_todo
        ../../gcc/passes.c:1971
0xa3b21b execute_todo
        ../../gcc/passes.c:2016