diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b4d4b0b5f5b..a3a0b64781b 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,12 @@
 2016-06-25  Jakub Jelinek  <jakub@redhat.com>
 
+	PR tree-optimization/71643
+	* tree-ssa-tail-merge.c (find_clusters_1): Ignore basic blocks with
+	EH preds.
+
+	* tree-ssa-tail-merge.c (deps_ok_for_redirect_from_bb_to_bb): Don't
+	leak a bitmap if dep_bb is NULL.
+
 	PR tree-optimization/71631
 	* tree-ssa-reassoc.c (reassociate_bb): Pass true as last argument
 	to rewrite_expr_tree even if negate_result, move new_lhs var
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 105f81fbd22..ca690a40c0d 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2016-06-25  Jakub Jelinek  <jakub@redhat.com>
 
+	PR tree-optimization/71643
+	* g++.dg/opt/pr71643.C: New test.
+
 	PR tree-optimization/71631
 	* gcc.c-torture/execute/pr71631.c: New test.
 
diff --git a/gcc/testsuite/g++.dg/opt/pr71643.C b/gcc/testsuite/g++.dg/opt/pr71643.C
new file mode 100644
index 00000000000..8369c6862ab
--- /dev/null
+++ b/gcc/testsuite/g++.dg/opt/pr71643.C
@@ -0,0 +1,20 @@
+// PR tree-optimization/71643
+// { dg-do compile }
+// { dg-options "-O2" }
+
+struct A
+{
+  void *operator new (__SIZE_TYPE__, double);
+  void operator delete (void *, double) { __builtin_unreachable (); }
+  A (int x);
+  static A *bar (int x) { return new (3.0) A (x); }
+};
+void baz (A *, A *);
+
+void
+foo (int a, int b)
+{
+  A *p = A::bar (a);
+  A *q = A::bar (b);
+  baz (p, q);
+}
diff --git a/gcc/tree-ssa-tail-merge.c b/gcc/tree-ssa-tail-merge.c
index 042d9646b74..5e815ec582a 100644
--- a/gcc/tree-ssa-tail-merge.c
+++ b/gcc/tree-ssa-tail-merge.c
@@ -1398,11 +1398,11 @@ deps_ok_for_redirect_from_bb_to_bb (basic_block from, basic_block to)
   basic_block cd, dep_bb = BB_DEP_BB (to);
   edge_iterator ei;
   edge e;
-  bitmap from_preds = BITMAP_ALLOC (NULL);
 
   if (dep_bb == NULL)
     return true;
 
+  bitmap from_preds = BITMAP_ALLOC (NULL);
   FOR_EACH_EDGE (e, ei, from->preds)
     bitmap_set_bit (from_preds, e->src->index);
   cd = nearest_common_dominator_for_set (CDI_DOMINATORS, from_preds);
@@ -1446,7 +1446,7 @@ find_clusters_1 (same_succ *same_succ)
       /* TODO: handle blocks with phi-nodes.  We'll have to find corresponding
 	 phi-nodes in bb1 and bb2, with the same alternatives for the same
 	 preds.  */
-      if (bb_has_non_vop_phi (bb1))
+      if (bb_has_non_vop_phi (bb1) || bb_has_eh_pred (bb1))
 	continue;
 
       nr_comparisons = 0;
@@ -1454,7 +1454,7 @@ find_clusters_1 (same_succ *same_succ)
 	{
 	  bb2 = BASIC_BLOCK_FOR_FN (cfun, j);
 
-	  if (bb_has_non_vop_phi (bb2))
+	  if (bb_has_non_vop_phi (bb2) || bb_has_eh_pred (bb2))
 	    continue;
 
 	  if (BB_CLUSTER (bb1) != NULL && BB_CLUSTER (bb1) == BB_CLUSTER (bb2))