tree-ssa-threadedge.c (thread_across_edge): Mark the start of the jump thread path...

        * tree-ssa-threadedge.c (thread_across_edge): Mark the start of
        the jump thread path properly.

From-SVN: r205245

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3aa74c0329b5b2ebaccfdcd16a0fd444b32e74a6..50c615a82d583db7081fc6eb72bcca7bb6dede2b 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2013-11-22  Jeff Law  <law@redhat.com>
+
+       * tree-ssa-threadedge.c (thread_across_edge): Mark the start of the
+       jump thread path properly.
+
 2013-11-22  Trevor Saunders  <tsaunders@mozilla.com>
 
        * vec.h (auto_vec): New class.

diff --git a/gcc/tree-ssa-threadedge.c b/gcc/tree-ssa-threadedge.c
index a1448757ead784e1cacc10c0981d291e2eb98ad1..7600d7b9914fc50c80c5e4b0f21bc5cdc9f09909 100644 (file)
--- a/gcc/tree-ssa-threadedge.c
+++ b/gcc/tree-ssa-threadedge.c
@@ -1078,8 +1078,9 @@ thread_across_edge (gimple dummy_cond,
      
        /* Avoid threading to any block we have already visited.  */
        bitmap_clear (visited);
-       bitmap_set_bit (visited, taken_edge->dest->index);
+       bitmap_set_bit (visited, e->src->index);
        bitmap_set_bit (visited, e->dest->index);
+       bitmap_set_bit (visited, taken_edge->dest->index);
         vec<jump_thread_edge *> *path = new vec<jump_thread_edge *> ();
 
        /* Record whether or not we were able to thread through a successor