git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

re PR c++/49229 ([C++0x][SFINAE] ICE with variadics and depending non-type default parameter) 

PR c++/49229
	* pt.c (tsubst_decl) [FUNCTION_DECL]: Handle substitution failure.

From-SVN: r175120
This commit is contained in:
Jason Merrill 2011-06-16 18:09:05 -04:00 committed by Jason Merrill
parent 80390766bd
commit 42db600dba
4 changed files with 46 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gcc/cp/ChangeLog
View File

@ -1,5 +1,8 @@
2011-06-16 Jason Merrill <jason@redhat.com> 2011-06-16 Jason Merrill <jason@redhat.com>
PR c++/49229
* pt.c (tsubst_decl) [FUNCTION_DECL]: Handle substitution failure.
PR c++/49251 PR c++/49251
* semantics.c (finish_id_expression): Mark even dependent * semantics.c (finish_id_expression): Mark even dependent
variables as used. variables as used.

2
gcc/cp/pt.c
View File

@ -9548,6 +9548,8 @@ tsubst_decl (tree t, tree args, tsubst_flags_t complain)
(DECL_TEMPLATE_RESULT (DECL_TEMPLATE_RESULT
(DECL_TI_TEMPLATE (t))), (DECL_TI_TEMPLATE (t))),
args, complain, in_decl); args, complain, in_decl);
if (argvec == error_mark_node)
RETURN (error_mark_node);
/* Check to see if we already have this specialization. */ /* Check to see if we already have this specialization. */
hash = hash_tmpl_and_args (gen_tmpl, argvec); hash = hash_tmpl_and_args (gen_tmpl, argvec);

3
gcc/testsuite/ChangeLog
View File

@ -1,5 +1,8 @@
2011-06-16 Jason Merrill <jason@redhat.com> 2011-06-16 Jason Merrill <jason@redhat.com>
PR c++/49229
* g++.dg/cpp0x/sfinae26.C: New.
PR c++/49251 PR c++/49251
* g++.dg/cpp0x/variadic113.C: New. * g++.dg/cpp0x/variadic113.C: New.

38
gcc/testsuite/g++.dg/cpp0x/sfinae26.C Normal file
View File

@ -0,0 +1,38 @@
// PR c++/49229
// { dg-options -std=c++0x }
extern void* enabler;
template<bool, class = void>
struct enable_if {};
template<class T>
struct enable_if<true, T> {
typedef T type;
};
template<class... Bn>
struct and_;
template<class B1>
struct and_<B1> : B1 {};
template<class, class>
struct is_same {
static constexpr bool value = false;
};
template<class T>
struct is_same<T, T> {
static constexpr bool value = true;
};
template<class... T>
struct S {
template<class... U,
typename enable_if<and_<is_same<T, U>...>::value>::type*& = enabler
>
S(U...){} // #
};
S<bool> s(0); // { dg-error "no match" }