From 167be6eb06817b20448e4beb1483d01218642d2f Mon Sep 17 00:00:00 2001
From: Andrew Pinski <pinskia@gmail.com>
Date: Thu, 16 Apr 2009 10:15:59 -0700
Subject: [PATCH] re PR c++/17570 (Extension to incorporate default parameters
 in signature of templates breaks valid program)

2009-04-16  Andrew Pinski  <pinskia@gmail.com>

        PR C++/17570
        * g++.dg/template/defarg11.C: New test.

From-SVN: r146206
---
 gcc/testsuite/ChangeLog                  |  5 +++++
 gcc/testsuite/g++.dg/template/defarg11.C | 18 ++++++++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/template/defarg11.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index fcc05cb7db86..9b1853cda0cd 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+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
diff --git a/gcc/testsuite/g++.dg/template/defarg11.C b/gcc/testsuite/g++.dg/template/defarg11.C
new file mode 100644
index 000000000000..00c4e658d9a0
--- /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; 
-- 
2.47.2