re PR tree-optimization/30567 (-O3 optimizer bug)

2007-04-26  Richard Guenther  <rguenther@suse.de>
        Daniel Berlin  <dberlin@dberlin.org>

        PR tree-optimization/30567
        * g++.dg/other/pr30567.C: New testcase.

Co-Authored-By: Daniel Berlin <dberlin@dberlin.org>
From-SVN: r124191

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b2db604b467eb1e40bdb98c1665489073b099233..bcdbbddd3c7d8415fb8597da95a474584e7857ff 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2007-04-26  Richard Guenther  <rguenther@suse.de>
+       Daniel Berlin  <dberlin@dberlin.org>
+
+       PR tree-optimization/30567
+       * g++.dg/other/pr30567.C: New testcase.
+
 2007-04-26  Richard Guenther  <rguenther@suse.de>
 
        PR tree-optimization/31703

diff --git a/gcc/testsuite/g++.dg/other/pr30567.C b/gcc/testsuite/g++.dg/other/pr30567.C
new file mode 100644 (file)
index 0000000..626d27b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/other/pr30567.C
@@ -0,0 +1,33 @@
+/* { dg-do run } */
+/* { dg-options "-O -finline-functions -fstrict-aliasing" } */
+
+template <typename T>
+struct const_ref
+{
+  const T* begin;
+  const_ref(const T* b) : begin(b) {}
+};
+
+template <typename T>
+T sum(const_ref<T> const& a)
+{
+  T result = 0;
+  for(unsigned i=0;i<1;i++) result += a.begin[i];
+  return result;
+}
+
+struct tiny_plain
+{
+  int elems[2];
+  tiny_plain() { elems[0]=1; }
+};
+
+struct vec3 : tiny_plain {};
+
+struct mat3
+{
+  int type() const { return sum(const_ref<int>(vec3().elems)) == 1; }
+};
+
+int main() { return mat3().type() ? 0 : 1; }
+