Dodji's work on template parameter lists of different lengths exposed a
problem whereby we weren't handling partial instantiation of a
COMPONENT_REF where the member is a SCOPE_REF. Fixed by not messing
with it when the object is still dependent.
Tested x86_64-pc-linux-gnu, applying to trunk.
commit eeb195f0839f33c5ace186a66bdc56188eb194be
Author: Jason Merrill <ja...@redhat.com>
Date: Mon Nov 7 16:50:08 2011 -0500
PR c++/50870
* pt.c (tsubst_copy): Handle NAMESPACE_DECL.
(tsubst_copy_and_build) [COMPONENT_REF]: Handle a still-dependent
object.
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index c4f4a94..53a5358 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -12010,6 +12010,9 @@ tsubst_copy (tree t, tree args, tsubst_flags_t complain, tree in_decl)
mark_used (t);
return t;
+ case NAMESPACE_DECL:
+ return t;
+
case OVERLOAD:
/* An OVERLOAD will always be a non-dependent overload set; an
overload set from function scope will just be represented with an
@@ -13871,7 +13874,9 @@ tsubst_copy_and_build (tree t,
if (member == error_mark_node)
return error_mark_node;
- if (object_type && !CLASS_TYPE_P (object_type))
+ if (type_dependent_expression_p (object))
+ /* We can't do much here. */;
+ else if (!CLASS_TYPE_P (object_type))
{
if (SCALAR_TYPE_P (object_type))
{
diff --git a/gcc/testsuite/g++.dg/cpp0x/decltype35.C b/gcc/testsuite/g++.dg/cpp0x/decltype35.C
new file mode 100644
index 0000000..d1fd476
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/decltype35.C
@@ -0,0 +1,15 @@
+// PR c++/50870
+// { dg-options -std=c++0x }
+
+template <class V>
+ struct impl
+ {
+ template <class T> static T create();
+ };
+
+template <class T, class U, class V, class
+ = decltype(impl<V>::template create<T>()
+ -> impl<V>::template create<U>())>
+struct tester { };
+
+tester<impl<float>*, int, float> ti;
