predcom-1.C: New test.

2009-03-04  Nathan Sidwell  <nathan@codesourcery.com>

	* g++.dg/torture/predcom-1.C: New test.

From-SVN: r144629

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ca0a6ee8ad0953ac636c49b5779fc2d3d21f8922..a2f28bba4c8bb636c89199945908d8e38394ac40 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2009-03-04  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * g++.dg/torture/predcom-1.C: New test.
+
 2009-03-04  Richard Guenther  <rguenther@suse.de>
 
        PR tree-optimization/39362

diff --git a/gcc/testsuite/g++.dg/torture/predcom-1.C b/gcc/testsuite/g++.dg/torture/predcom-1.C
new file mode 100644 (file)
index 0000000..c668cac
--- /dev/null
+++ b/gcc/testsuite/g++.dg/torture/predcom-1.C
@@ -0,0 +1,29 @@
+/* Test for ICE in predictive commoning with empty loop header block
+   on arm-none-linux-gnueabi.  */
+
+struct Foo
+{
+  double *ptr;
+  
+  Foo (double *ptr_)
+    : ptr (ptr_)
+  {
+  }
+  
+  Foo PostInc ()
+  {
+    return Foo (ptr++);
+  }
+};
+
+bool Baz (Foo first, double *last)
+{
+  Foo prev (first.ptr);
+  
+  first.ptr++;
+
+  while (first.ptr != last)
+    if (*first.PostInc ().ptr < *prev.PostInc ().ptr)
+      return false;
+}
+