[Bug tree-optimization/71252] [7 Regression] ICE: verify_ssa failed : definition in block 7 does not dominate use in block 6

[kugan at gcc dot gnu.org]

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

--- Comment #4 from kugan at gcc dot gnu.org ---
Author: kugan
Date: Tue May 24 10:50:01 2016
New Revision: 236634

URL: https://gcc.gnu.org/viewcvs?rev=236634&root=gcc&view=rev
Log:
gcc/testsuite/ChangeLog:

2016-05-24  Kugan Vivekanandarajah  <kug...@linaro.org>

        PR middle-end/71252
        * gfortran.dg/pr71252.f90: New test.

gcc/ChangeLog:

2016-05-24  Kugan Vivekanandarajah  <kug...@linaro.org>

        PR middle-end/71252
        * tree-ssa-reassoc.c (rewrite_expr_tree_parallel): Add stmt_to_insert
after
        build_and_add_sum creates new use stmt.


Added:
    trunk/gcc/testsuite/gfortran.dg/pr71252.f90
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-reassoc.c