From: Nathan Sidwell <nathan@codesourcery.com>
Date: Wed, 6 Sep 2000 09:22:08 +0000 (+0000)
Subject: * g++.old-deja/g++.pt/parms2.C: New test.
X-Git-Tag: prereleases/libstdc++-2.92~4228
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=2ff0c96233b86edf05a09cd8f59ceee0c3a3bf7a;p=thirdparty%2Fgcc.git

* g++.old-deja/g++.pt/parms2.C: New test.

From-SVN: r36194
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a80da3940908..0740a28e2539 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2000-09-06  Nathan Sidwell  <nathan@codesourcery.com>
+
+	* g++.old-deja/g++.pt/parms2.C: New test.
+
 2000-09-06  Nathan Sidwell  <nathan@codesourcery.com>
 
 	* g++.old-deja/g++.pt/crash58.C: New test.
diff --git a/gcc/testsuite/g++.old-deja/g++.pt/parms2.C b/gcc/testsuite/g++.old-deja/g++.pt/parms2.C
new file mode 100644
index 000000000000..856d36cd231d
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.pt/parms2.C
@@ -0,0 +1,39 @@
+// Build don't link:
+// 
+// Copyright (C) 2000 Free Software Foundation, Inc.
+// Contributed by Nathan Sidwell 5 Sept 2000 <nathan@codesourcery.com>
+
+// bug 73. We failed to compare explicit arguments for a TEMPLATE_ID_EXPR in a
+// TYPENAME_TYPE.
+
+struct Plus {
+  template <class T>
+  struct Sig { typedef int Third;};
+};
+
+
+template <class T>
+struct Ethel {
+  typedef int WrappedType;
+};
+
+struct Fred {
+   
+  template <class Q, class LA, class LB>
+  Ethel<typename Q::Sig<typename LA::WrappedType>::Third> baz ();
+
+
+  template <class Z, class A, class B>
+  Ethel<typename Z::Sig<A>::Third>
+  foo ( const Z&, const Ethel<A>&, const Ethel<B>&) const;
+};
+
+int main() {
+  Fred f;
+  Ethel<int> e;
+  Plus p;
+ 
+  f.foo (p, e, e);
+
+  return 0;
+}