summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorpinskia <pinskia@138bc75d-0d04-0410-961f-82ee72b054a4>2009-04-16 17:15:59 +0000
committerpinskia <pinskia@138bc75d-0d04-0410-961f-82ee72b054a4>2009-04-16 17:15:59 +0000
commitdfa82bcae61f0de612fac046a575d861ae0b7ce8 (patch)
tree87386bfddcdf254260671e53767e83d533e5975d
parentf726d6e8a0f28f69ee66cf121ce06cf55e28ca99 (diff)
downloadgcc-dfa82bcae61f0de612fac046a575d861ae0b7ce8.tar.gz
2009-04-16 Andrew Pinski <pinskia@gmail.com>
PR C++/17570 * g++.dg/template/defarg11.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146206 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/g++.dg/template/defarg11.C18
2 files changed, 23 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index fcc05cb7db8..9b1853cda0c 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
2009-04-16 Andrew Pinski <pinskia@gmail.com>
+ PR C++/17570
+ * g++.dg/template/defarg11.C: New test.
+
+2009-04-16 Andrew Pinski <pinskia@gmail.com>
+
PR C++/28766
* g++.dg/ext/complit11.C: New testcase.
diff --git a/gcc/testsuite/g++.dg/template/defarg11.C b/gcc/testsuite/g++.dg/template/defarg11.C
new file mode 100644
index 00000000000..00c4e658d9a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/defarg11.C
@@ -0,0 +1,18 @@
+// { dg-do compile }
+
+// We used to reject this code as the extension
+// for default arguments being accepted as less the
+// needed template arguments.
+
+
+template<typename> struct match { };
+
+template<template<typename> class t,typename T>
+struct match<t<T> > { typedef int type; };
+
+template<template<typename,typename> class t,typename T0,typename T1>
+struct match<t<T0,T1> > { typedef int type; };
+
+template<typename,typename =void> struct other { };
+
+typedef match<other<void,void> >::type type;