From: Nathan Sidwell <nathan@acm.org>
Date: Mon, 21 Aug 2017 13:29:20 +0000 (+0000)
Subject: re PR c++/81899 (ICE: Segmentation fault)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5ec1701eae7178a140be621ac5aec4e40c1070b5;p=gcc.git

re PR c++/81899 (ICE: Segmentation fault)

	PR c++/81899
	* pt.c (instantiate_class_template_1):
	BOUND_TEMPLATE_TEMPLATE_PARM is never friend-injected.

	PR c++/81899
	* g++.dg/template/pr81899.C: New.

From-SVN: r251227
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 72a05547ed2..ba9583aa3b3 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2017-08-21  Nathan Sidwell  <nathan@acm.org>
+
+	PR c++/81899
+	* pt.c (instantiate_class_template_1):
+	BOUND_TEMPLATE_TEMPLATE_PARM is never friend-injected.
+
 2017-08-18  David Malcolm  <dmalcolm@redhat.com>
 
 	PR c++/81514
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index bf1f75de1e7..8d816c73244 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -10724,7 +10724,8 @@ instantiate_class_template_1 (tree type)
 		    adjust_processing_template_decl = true;
 		  --processing_template_decl;
 		}
-	      else if (!CLASSTYPE_USE_TEMPLATE (friend_type)
+	      else if (TREE_CODE (friend_type) != BOUND_TEMPLATE_TEMPLATE_PARM
+		       && !CLASSTYPE_USE_TEMPLATE (friend_type)
 		       && TYPE_HIDDEN_P (friend_type))
 		{
 		  /* friend class C;
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 53505ef21f4..f35db2b3524 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-08-21  Nathan Sidwell  <nathan@acm.org>
+
+	PR c++/81899
+	* g++.dg/template/pr81899.C: New.
+
 2017-08-21  Richard Biener  <rguenther@suse.de>
 
 	PR tree-optimization/81900
diff --git a/gcc/testsuite/g++.dg/template/pr81899.C b/gcc/testsuite/g++.dg/template/pr81899.C
new file mode 100644
index 00000000000..2db57cf7504
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/pr81899.C
@@ -0,0 +1,11 @@
+// PR 81899 we tried to treat a bound-tpl-tpl-parm as-if a real record-type
+
+template <template <typename> class FunctorData>
+struct functor {
+  friend FunctorData<int>;
+  void foo();
+};
+
+template <typename> struct data;
+
+template<> void functor<data>::foo();