re PR tree-optimization/50763 (ICE: verify_gimple failed: missing PHI def with -ftree...

2011-10-23  Tom de Vries  <tom@codesourcery.com>

	PR tree-optimization/50763
	* gcc.dg/pr50763.c: New test.

From-SVN: r180342

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0abcb181a99e975491f00b2c67de091473c380f8..b0c282d578d54c54eecddcc7ccb6d31b342f00a1 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-10-23  Tom de Vries  <tom@codesourcery.com>
+
+       PR tree-optimization/50763
+       * gcc.dg/pr50763.c: New test.
+
 2011-10-23  Uros Bizjak  <ubizjak@gmail.com>
 
        PR target/50788

diff --git a/gcc/testsuite/gcc.dg/pr50763.c b/gcc/testsuite/gcc.dg/pr50763.c
new file mode 100644 (file)
index 0000000..60025e3
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr50763.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-pre" } */
+
+int bar (int i);
+
+void
+foo (int c, int d)
+{
+  if (bar (c))
+    bar (c);
+  d = 33;
+  while (c == d);
+}
+
+/* { dg-final { scan-tree-dump-times "== 33" 1 "pre"} } */
+/* { dg-final { cleanup-tree-dump "pre" } } */