2011-12-17 Tom de Vries <tom@codesourcery.com>

	PR tree-optimization/51491
	* gcc.dg/pr51491.c: New test.
	* gcc.dg/pr51491-2.c: Same.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182433 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f2878ef..660ff9b 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2011-12-17  Tom de Vries  <tom@codesourcery.com>
+
+       PR tree-optimization/51491
+       * gcc.dg/pr51491.c: New test.
+       * gcc.dg/pr51491-2.c: Same.
+
 2011-12-16  Jason Merrill  <jason@redhat.com>
 
        PR c++/51416

diff --git a/gcc/testsuite/gcc.dg/pr51491-2.c b/gcc/testsuite/gcc.dg/pr51491-2.c
new file mode 100644 (file)
index 0000000..bbfc96a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr51491-2.c
@@ -0,0 +1,34 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-ccp1" } */
+
+int g (int *);
+
+int
+f (int n)
+{
+  int tt = 0;
+  int t = 4;
+  {
+    int a[t
+          + (tt != 0 ? 6 : 0)
+         ];
+    tt = g (a);
+    {
+      int b[n];
+      tt += g (b);
+      if (n > 20)
+       tt += 148 * g (b);
+      tt += b[0];
+    }
+    tt += a[0];
+  }
+  {
+    int a[4];
+    tt += g (a);
+    tt += a[0];
+  }
+  return tt;
+}
+
+/* { dg-final { scan-tree-dump-times "CLOBBER" 2 "ccp1"} } */
+/* { dg-final { cleanup-treee-dump "ccp1" } } */

diff --git a/gcc/testsuite/gcc.dg/pr51491.c b/gcc/testsuite/gcc.dg/pr51491.c
new file mode 100644 (file)
index 0000000..50aa55f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr51491.c
@@ -0,0 +1,25 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-rtl-expand" } */
+
+
+int g(int*);
+
+int f(void)
+{
+  int tt = 0;
+  int t = 4;
+  {
+    int a[t];
+    tt = g(a);
+    tt += a[0];
+  }
+  {
+    int a[4];
+    tt += g(a);
+    tt += a[0];
+  }
+  return tt;
+}
+
+/* { dg-final { scan-rtl-dump-times "Partition" 1 "expand"} } */
+/* { dg-final { cleanup-rtl-dump "expand" } } */