ttp53.C: New test.

	* g++.old-deja/g++.pt/ttp53.C: New test.  incorrect substitution
	of template parameter?

From-SVN: r22996

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e43637e..81ea86b 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 1998-10-12  Alexandre Oliva  <oliva@dcc.unicamp.br>
 
+       * g++.old-deja/g++.pt/ttp53.C: New test.  incorrect substitution
+       of template parameter?
+
        * g++.old-deja/g++.other/conv3.C: New test.  conversion discards
        const
 

diff --git a/gcc/testsuite/g++.old-deja/g++.pt/ttp53.C b/gcc/testsuite/g++.old-deja/g++.pt/ttp53.C
new file mode 100644 (file)
index 0000000..694635d
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.pt/ttp53.C
@@ -0,0 +1,35 @@
+// Build don't link:
+
+// Submitted by Erez Louidor Lior <s3824888@techst02.technion.ac.il>
+
+template <typename> class H;
+template <typename Target, typename Source>
+H<Target> foo(const H<Source>&);
+
+template <typename Type>
+class H{
+
+#ifdef OK
+public:
+#endif
+  template<template<class, class> class Caster, typename Source>
+  static H<Type> cast(const H<Source>& s); // gets bogus error - candidate - XFAIL *-*-*
+
+#ifndef OK
+  template <typename Target, typename Source>
+  friend H<Target> foo(const H<Source>&);
+#endif
+
+};
+
+template <class, class> class caster;
+
+template <typename Target, typename Source>
+H<Target> foo(const H<Source>& s){
+  return H<Target>::template cast<caster, Source>(s); // gets bogus error - no match - XFAIL *-*-*
+}
+
+int main(){
+  H<int> i;
+  foo<const int>(i); // gets bogus error - instantiated from here - XFAIL *-*-*
+}