tree-ssa-threadedge.c (thread_across_edge): Fix initialization of 'found'.

       * tree-ssa-threadedge.c (thread_across_edge): Fix initialization
        of 'found'.

        * gcc.c-torture/compile/pr58340.c: New test.

From-SVN: r202379

gcc/ChangeLog

+2013-09-08  Jeff Law  <law@redhat.com>
+
+	PR bootstrap/58340
+	* tree-ssa-threadedge.c (thread_across_edge): Fix initialization
+	of 'found'.
+
 2013-09-08  Andi Kleen  <ak@linux.intel.com>
 
 	* tree-inline.c (estimate_num_insns): Limit asm cost to 1000.

gcc/testsuite/ChangeLog

+2013-09-08  Jeff Law  <law@redhat.com>
+
+	* gcc.c-torture/compile/pr58340.c: New test.
+
 2013-09-08  Richard Sandiford  <rdsandiford@googlemail.com>
 
 	* g++.dg/debug/ra1.C: New test.

gcc/testsuite/gcc.c-torture/compile/pr58340.c

+int a, b, c, d;
+
+int foo (int x, int y)
+{
+  return y == 0 ? x : 1 % y;
+}
+
+int main ()
+{
+  c = 0 || a;
+
+  for (;;)
+    b = foo (d, c) && 1;
+
+  return 0;
+}

gcc/tree-ssa-threadedge.c

@@ -978,7 +978,7 @@ thread_across_edge (gimple dummy_cond,
   {
     edge taken_edge;
     edge_iterator ei;
-    bool found = false;
+    bool found;
     bitmap visited = BITMAP_ALLOC (NULL);
 
     /* Look at each successor of E->dest to see if we can thread through it.  */
@@ -994,6 +994,7 @@ thread_across_edge (gimple dummy_cond,
 	   of E->dest.  */
 	path.safe_push (e);
 	path.safe_push (taken_edge);
+	found = false;
 	if ((e->flags & EDGE_DFS_BACK) == 0
 	    || ! cond_arg_set_in_bb (path[path.length () - 1], e->dest))
 	  found = thread_around_empty_blocks (taken_edge,