re PR c++/42761 (std::bind doesn't work for simple class types)

	PR c++/42761
	* semantics.c (finish_decltype_type): Within a template, treat
	unresolved CALL_EXPR as dependent.

From-SVN: r155966

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 9f73d86c22e7ff70ab63eac20ce5b1caf5135b08..08307272a00b786cfa302db9900885308956c49a 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2010-01-16  Jason Merrill  <jason@redhat.com>
+
+       PR c++/42761
+       * semantics.c (finish_decltype_type): Within a template, treat
+       unresolved CALL_EXPR as dependent.
+
 2010-01-15  Dodji Seketeli  <dodji@redhat.com>
 
        * error.c (dump_template_parms,count_non_default_template_args):

diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c
index b2f9fd31f56403dfcf4958542ed83a44506cafc1..fa3ecda205d58abb493bef7ad2ab377aabe0fab9 100644 (file)
--- a/gcc/cp/semantics.c
+++ b/gcc/cp/semantics.c
@@ -4803,6 +4803,7 @@ finish_decltype_type (tree expr, bool id_expression_or_member_access_p)
       if (type && !type_uses_auto (type))
        return type;
 
+    treat_as_dependent:
       type = cxx_make_type (DECLTYPE_TYPE);
       DECLTYPE_TYPE_EXPR (type) = expr;
       DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P (type)
@@ -4930,6 +4931,11 @@ finish_decltype_type (tree expr, bool id_expression_or_member_access_p)
                   && (TREE_CODE (TREE_TYPE (target_type)) == FUNCTION_TYPE
                       || TREE_CODE (TREE_TYPE (target_type)) == METHOD_TYPE))
                 type = TREE_TYPE (TREE_TYPE (target_type));
+             else if (processing_template_decl)
+               /* Within a template finish_call_expr doesn't resolve
+                  CALL_EXPR_FN, so even though this decltype isn't really
+                  dependent let's defer resolving it.  */
+               goto treat_as_dependent;
               else
                 sorry ("unable to determine the declared type of expression %<%E%>",
                        expr);

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 995ba7989e09efed0a04bf02a4b0e67b5c446112..8c45d483af0d2ebf7495e1f2847f30c2f77c5787 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2010-01-15  Jason Merrill  <jason@redhat.com>
+
+       PR c++/42761
+       * g++.dg/cpp0x/decltype22.C: New.
+
 2010-01-16  Jakub Jelinek  <jakub@redhat.com>
 
        PR middle-end/42760

diff --git a/gcc/testsuite/g++.dg/cpp0x/decltype22.C b/gcc/testsuite/g++.dg/cpp0x/decltype22.C
new file mode 100644 (file)
index 0000000..74811cf
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/decltype22.C
@@ -0,0 +1,13 @@
+// PR c++/42761
+// { dg-options "-std=c++0x" }
+
+template<typename _Tp> _Tp* fn();
+
+template <class T> struct A
+{
+  template <class U,
+           class S = decltype(fn<T>())>
+  struct B { };
+};
+
+A<int> a;