re PR tree-optimization/27090 (FRE does not look past previous type casts)

2006-06-19  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/27090
	* g++.dg/tree-ssa/pr27090.C: New testcase.

From-SVN: r114786

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 888e45a..8fda51d 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2006-06-19  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/27090
+       * g++.dg/tree-ssa/pr27090.C: New testcase.
+
 2006-06-19  Roger Sayle  <roger@eyesopen.com>
 
        PR target/27861

diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr27090.C b/gcc/testsuite/g++.dg/tree-ssa/pr27090.C
new file mode 100644 (file)
index 0000000..a56357a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tree-ssa/pr27090.C
@@ -0,0 +1,21 @@
+/* { dg-do compile } */
+/* { dg-options "-O -fdump-tree-optimized" } */
+
+template <class T>
+struct Bar
+{
+        int get() { return static_cast<T*>(this)->get2(); }
+};
+struct Foo : public Bar<Foo>
+{
+        int get2() { return x; }
+        int x;
+};
+
+int foo(Foo& f)
+{
+        return f.get();
+}
+
+/* { dg-final { scan-tree-dump "return f->x;" "optimized" } } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */