1 files changed, 58 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.old-deja/g++.pt/ttp64.C b/gcc/testsuite/g++.old-deja/g++.pt/ttp64.C
new file mode 100644
index 000000000..4cc1b98ae
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.pt/ttp64.C
@@ -0,0 +1,58 @@
+// { dg-do assemble  }
+
+// Origin: David Margery <David.Margery@irisa.fr>
+
+// Bug: We fail to set DECL_TEMPLATE_PARM_P when reducing template
+// parameter level.
+
+template <class T> class A2 {
+public:
+   A2() {}
+   virtual ~A2() {}
+   template <class other> A2 & operator=(const A2<other> o) {
+      i=o.i;
+      return *this;
+   }
+   T i;
+   T j;
+};
+
+template <class T> class A1 {
+public:
+   A1() {}
+   virtual ~A1() {}
+   template <class other> A1 & operator=(const A1<other> o) {
+      i=o.i;
+      return *this;
+   }
+   template <class other> A1 & operator=(const A2<other> o) {
+      i=o.i;
+      return *this;
+   }
+   T i;
+};
+
+template <template <class U> class T> class B {
+public:
+   B(){}
+   virtual ~B(){}
+   template <template <class U2> class O> struct rebind { typedef B<O> other ;};
+   template <template <class U2> class O> B & operator=(const B<O> o) {
+      i=o.i;
+      return *this;
+   }
+   T<int> i;
+};
+
+int main(int argc, char *argv[]) {
+
+   A1<int> a1;
+   A1<long> a2;
+   a1=a2;
+
+   B<A1 > b1;
+   B<A2 > b2;
+   b1=b2;
+
+   return 0;
+}