From: Jason Merrill <jason@redhat.com>
Date: Wed, 23 May 2018 03:52:49 +0000 (-0400)
Subject: PR c++/85866 - error with .* in default template arg.
X-Git-Tag: upstream/12.2.0~31648
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=0d2e69cb3c08f44a15415fb264bf438bb8c9707c;p=platform%2Fupstream%2Fgcc.git

PR c++/85866 - error with .* in default template arg.

	* pt.c (tsubst_copy_and_build): Handle partial instantiation.

From-SVN: r260562
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 6aed157..ce22731 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2018-05-22  Jason Merrill  <jason@redhat.com>
+
+	PR c++/85866 - error with .* in default template arg.
+	* pt.c (tsubst_copy_and_build): Handle partial instantiation.
+
 2018-05-21  Paolo Carlini  <paolo.carlini@oracle.com>
 
 	* parser.c (cp_parser_parameter_declaration_list): Remove
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 81de633..0b04770 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -18433,7 +18433,9 @@ tsubst_copy_and_build (tree t,
 	      /* Unsupported internal function with arguments.  */
 	      gcc_unreachable ();
 	    }
-	else if (TREE_CODE (function) == OFFSET_REF)
+	else if (TREE_CODE (function) == OFFSET_REF
+		 || TREE_CODE (function) == DOTSTAR_EXPR
+		 || TREE_CODE (function) == MEMBER_REF)
 	  ret = build_offset_ref_call_from_tree (function, &call_args,
 						 complain);
 	else if (TREE_CODE (function) == COMPONENT_REF)
diff --git a/gcc/testsuite/g++.dg/cpp0x/fntmpdefarg9.C b/gcc/testsuite/g++.dg/cpp0x/fntmpdefarg9.C
new file mode 100644
index 0000000..833049c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/fntmpdefarg9.C
@@ -0,0 +1,29 @@
+// PR c++/85866
+// { dg-do compile { target c++11 } }
+
+template<typename _Tp, typename _Up = _Tp&&>
+_Up
+__declval(int);
+
+template<typename _Tp>
+_Tp
+__declval(long);
+
+template<typename _Tp>
+auto declval() noexcept -> decltype(__declval<_Tp>(0));
+
+template<typename...>
+using void_t = void;
+
+template<typename U, typename V,
+	 void_t<decltype ( (declval<U>().*declval<V>()) () )
+		>* = nullptr>
+void boom(){}
+
+struct Foo {
+  void bar(){}
+};
+
+int main() {
+  boom<Foo, decltype(&Foo::bar)>();
+}