pt.c (tsubst_copy_and_build): Don't complain about unqualified lookup failing if we're still in a template.

* pt.c (tsubst_copy_and_build) [CALL_EXPR]: Don't complain about
	unqualified lookup failing if we're still in a template.

From-SVN: r172372
This commit is contained in:
Jason Merrill 2011-04-13 10:34:05 -04:00 committed by Jason Merrill
parent 094d766192
commit ba9c349ec8
4 changed files with 32 additions and 1 deletions

View File

@ -1,3 +1,9 @@
2011-04-13 Jason Merrill <jason@redhat.com>
PR c++/48581
* pt.c (tsubst_copy_and_build) [CALL_EXPR]: Don't complain about
unqualified lookup failing if we're still in a template.
2011-04-12 Nathan Froyd <froydnj@codesourcery.com>
* cp-lang.c (cp_init_ts): Call cp_common_init_ts. Move

View File

@ -12938,7 +12938,8 @@ tsubst_copy_and_build (tree t,
&& !any_type_dependent_arguments_p (call_args))
function = perform_koenig_lookup (function, call_args, false);
if (TREE_CODE (function) == IDENTIFIER_NODE)
if (TREE_CODE (function) == IDENTIFIER_NODE
&& !processing_template_decl)
{
unqualified_name_lookup_error (function);
release_tree_vector (call_args);

View File

@ -1,3 +1,7 @@
2011-04-13 Jason Merrill <jason@redhat.com>
* g++.dg/cpp0x/sfinae13.C: New.
2011-04-13 Uros Bizjak <ubizjak@gmail.com>
* gcc.target/i386/sse2-init-v2di-2.c: Update scan pattern.

View File

@ -0,0 +1,20 @@
// PR c++/48581
// { dg-options -std=c++0x }
template<class T>
T&& create();
template<class T,
class = decltype(foo(create<T>()))
>
auto f(int) -> char;
template<class>
auto f(...) -> char (&)[2];
struct S {};
void foo(S);
static_assert(sizeof(f<S>(0)) == 1, "Error"); // (#)
int main() {}