* g++.dg/other/debug2.C: New test.

From-SVN: r48508

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a4afe65ef3d1007aa5c3cba4fc0b937e06cabec0..0fd97019a9adec513481601a4c74043a657cce6c 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2002-01-03  Jakub Jelinek  <jakub@redhat.com>
+
+       * g++.dg/other/debug2.C: New test.
+
 2002-01-02  Jakub Jelinek  <jakub@redhat.com>
 
        * gcc.dg/gnu89-init-1.c: Added new tests.

diff --git a/gcc/testsuite/g++.dg/other/debug2.C b/gcc/testsuite/g++.dg/other/debug2.C
new file mode 100644 (file)
index 0000000..6260f5b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/other/debug2.C
@@ -0,0 +1,43 @@
+/* Verify that sched re-inserts needed scopes properly.  */
+/* { dg-do compile } */
+/* { dg-options "-O2 -g" } */
+/* { dg-options "-O2 -g -mcpu=ev5" { target alpha*-*-* } } */
+
+template <class T>
+inline void foo()
+{
+  void (T::*x)() __attribute__ ((__unused__)) = &T::bar;
+}
+
+template <class T>
+struct D
+{
+  void bar() {
+  }
+  T i;
+};
+
+template <class T>
+struct E
+{
+  void bar() {
+    foo <D<T> > ();
+    *i-- = *i;
+  }
+  T i;
+};
+
+struct A {};
+template<typename T> struct B { typedef typename T::t t; };
+template<typename T> struct B<T*> { typedef T& t; };
+template<typename T>
+struct C
+{
+  T b;
+  explicit C (const T& i) : b (i) { }
+  typename B<T>::t operator* () const { return *b; }
+  C operator-- (int) { return C (b--); }
+};
+
+template void foo <E<C<A**> > > ();
+template void foo <D<C<A**> > > ();