diff options
| author | Andrew Pinski <pinskia@gmail.com> | 2009-04-16 10:15:59 -0700 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2009-04-16 10:15:59 -0700 |
| commit | 167be6eb06817b20448e4beb1483d01218642d2f (patch) | |
| tree | 87386bfddcdf254260671e53767e83d533e5975d | |
| parent | f87393f0726ebef9e54ce2b0edc9f97dfed9e0fb (diff) | |
| download | gcc-167be6eb06817b20448e4beb1483d01218642d2f.zip gcc-167be6eb06817b20448e4beb1483d01218642d2f.tar.gz gcc-167be6eb06817b20448e4beb1483d01218642d2f.tar.bz2 | |
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
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/defarg11.C | 18 |
2 files changed, 23 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fcc05cb..9b1853c 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 0000000..00c4e65 --- /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; |