[Bug tree-optimization/78061] [7 Regression] -O3 causes "Error: definition in block 117 does not dominate use in block 164"

[matz at gcc dot gnu.org]

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

--- Comment #4 from Michael Matz <matz at gcc dot gnu.org> ---
Author: matz
Date: Wed Oct 26 12:54:30 2016
New Revision: 241551

URL: https://gcc.gnu.org/viewcvs?rev=241551&root=gcc&view=rev
Log:
fix pr78060 pr78061 pr78088

        PR tree-optimization/78060
        PR tree-optimization/78061
        PR tree-optimization/78088
        * tree-ssa-loop-split.c (easy_exit_values): New function.
        (tree_ssa_split_loops): Use it.
        (compute_new_first_bound): Change order of operations,
        fix invalid use of types.

testsuite/
        * g++.dg/pr78060.C: New test.
        * gfortran.dg/pr78061.f: New test.
        * g++.dg/pr78088.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/pr78060.C
    trunk/gcc/testsuite/g++.dg/pr78088.C
    trunk/gcc/testsuite/gfortran.dg/pr78061.f
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-loop-split.c