mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-10 04:00:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR c++/17570 (Extension to incorporate default parameters in signature of templates breaks valid program)

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

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

From-SVN: r146206
This commit is contained in:
Andrew Pinski 2009-04-16 10:15:59 -07:00 committed by Andrew Pinski
parent f87393f072
commit 167be6eb06
2 changed files with 23 additions and 0 deletions
gcc/testsuite
ChangeLog
g++.dg/template
defarg11.C

5
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

18
gcc/testsuite/g++.dg/template/defarg11.C Normal file

@ -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;