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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@48508 138bc75d-0d04-0410-961f-82ee72b054a4

2 files changed, 47 insertions, 0 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a4afe65ef3d..0fd97019a9a 100644
--- 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
index 00000000000..6260f5b7d50
--- /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**> > > ();