1 files changed, 36 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr25501.c b/gcc/testsuite/gcc.dg/tree-ssa/pr25501.c
new file mode 100644
index 000000000..d63a5274e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr25501.c
@@ -0,0 +1,36 @@
+/* PR tree-optimization/25501
+   The PHI merge pass used to try to merge PHI nodes that cannot
+   actually merged, causing a segfault later.  Make sure that does not
+   happen any more.  */
+
+/* { dg-options "-O1 -fdump-tree-mergephi" } */
+
+int
+foo (int a)
+{
+  int b;
+  int c;
+  int d;
+
+  if (a == 2)
+    b = 3;
+  else
+    b = 5;
+
+  c = 7;
+
+  d = 11;
+
+  for (;;)
+    {
+      if (d == 5)
+	break;
+
+      d = b;
+    }
+
+  return 13;
+}
+
+/* { dg-final { scan-tree-dump-times "Removing basic block" 0 "mergephi1"} } */
+/* { dg-final { cleanup-tree-dump "mergephi\[1-2\]" } } */