r229685 - in /trunk/gcc: ChangeLog testsuite/Ch...

[law@gcc.gnu.org]

Author: law
Date: Mon Nov  2 23:25:06 2015
New Revision: 229685

URL: https://gcc.gnu.org/viewcvs?rev=229685&root=gcc&view=rev
Log:
[PATCH] Avoid more irreducible loops in FSM threader

	* tree-ssa-threadupdate.c (valid_jump_thread_path): Also detect
	cases where the loop latch edge is in the middle of an FSM
	path.

	* gcc.dg/tree-ssa/ssa-thread-11.c: Verify that we do not have
	irreducible loops in the CFG.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-thread-11.c
    trunk/gcc/tree-ssa-threadupdate.c