re PR middle-end/43513 (The stack pointer is adjusted twice)

2011-08-31  Tom de Vries  <tom@codesourcery.com>

	PR middle-end/43513
	* gcc.dg/pr43513.c: New test.

From-SVN: r178354

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0c70003..7fa86eb 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-08-31  Tom de Vries  <tom@codesourcery.com>
+
+       PR middle-end/43513
+       * gcc.dg/pr43513.c: New test.
+
 2011-08-30  Tobias Burnus  <burnus@net-b.de>
 
        PR fortran/45044

diff --git a/gcc/testsuite/gcc.dg/pr43513.c b/gcc/testsuite/gcc.dg/pr43513.c
new file mode 100644 (file)
index 0000000..78a037b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr43513.c
@@ -0,0 +1,19 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-ccp2" } */
+
+void bar (int *);
+void foo (char *, int);
+
+void
+foo3 ()
+{
+  const int kIterations = 10;
+  int results[kIterations];
+  int i;
+  bar (results);
+  for (i = 0; i < kIterations; i++)
+    foo ("%d ", results[i]);
+}
+
+/* { dg-final { scan-tree-dump-times "alloca" 0 "ccp2"} } */
+/* { dg-final { cleanup-tree-dump "ccp2" } } */