[Bug tree-optimization/65177] [5 Regression]: extend jump thread for finite state automata causes miscompilation

[spop at gcc dot gnu.org]

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

--- Comment #23 from Sebastian Pop <spop at gcc dot gnu.org> ---
Author: spop
Date: Wed Mar 25 22:49:47 2015
New Revision: 221675

URL: https://gcc.gnu.org/viewcvs?rev=221675&root=gcc&view=rev
Log:
diamonds are not valid execution threads for jump threading

    PR tree-optimization/65177
    * tree-ssa-threadupdate.c (verify_seme): Renamed verify_jump_thread.
    (bb_in_bbs): New.
    (duplicate_seme_region): Renamed duplicate_thread_path.  Redirect all
    edges not adjacent on the path to the original code.

    * gcc.dg/tree-ssa/ssa-dom-thread-10.c: New.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-10.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-threadupdate.c