From: Simon Martin <simartin@users.sourceforge.net>
Date: Mon, 6 Jul 2009 04:55:20 +0000 (+0000)
Subject: re PR c++/40557 (ICE with template union)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c4efba1c212b3cc4c3af05a420888b878fcc29ae;p=gcc.git

re PR c++/40557 (ICE with template union)

gcc/cp/

2009-07-06  Simon Martin  <simartin@users.sourceforge.net>

	PR c++/40557
	* pt.c (perform_typedefs_access_check, get_types_needing_access_check,
	append_type_to_template_for_access_check_1): Use
	RECORD_OR_UNION_CODE_P.

gcc/testsuite/

2009-07-06  Simon Martin  <simartin@users.sourceforge.net>

	PR c++/40557
	* g++.dg/template/union2.C: New test.

From-SVN: r149276
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index e3fe9c25b81..03a0349960a 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,10 @@
+2009-07-06  Simon Martin  <simartin@users.sourceforge.net>
+
+	PR c++/40557
+	* pt.c (perform_typedefs_access_check, get_types_needing_access_check,
+	append_type_to_template_for_access_check_1): Use
+	RECORD_OR_UNION_CODE_P.
+
 2009-07-04  Jason Merrill  <jason@redhat.com>
 
 	* pt.c (retrieve_specialization): Don't get confused by a
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 4143bb121d9..f1104e2d737 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -7142,7 +7142,7 @@ perform_typedefs_access_check (tree tmpl, tree targs)
   tree t;
 
   if (!tmpl
-      || (TREE_CODE (tmpl) != RECORD_TYPE
+      || (!RECORD_OR_UNION_CODE_P (TREE_CODE (tmpl))
 	  && TREE_CODE (tmpl) != FUNCTION_DECL))
     return;
 
@@ -17512,7 +17512,8 @@ get_types_needing_access_check (tree t)
   if (!(ti = get_template_info (t)))
     return NULL_TREE;
 
-  if (TREE_CODE (t) == RECORD_TYPE || TREE_CODE (t) == FUNCTION_DECL)
+  if (RECORD_OR_UNION_CODE_P (TREE_CODE (t))
+      || TREE_CODE (t) == FUNCTION_DECL)
     {
       if (!TI_TEMPLATE (ti))
 	return NULL_TREE;
@@ -17544,7 +17545,7 @@ append_type_to_template_for_access_check_1 (tree t,
     return;
 
   gcc_assert ((TREE_CODE (t) == FUNCTION_DECL
-	       || TREE_CODE (t) == RECORD_TYPE)
+	       || RECORD_OR_UNION_CODE_P (TREE_CODE (t)))
 	      && type_decl
 	      && TREE_CODE (type_decl) == TYPE_DECL
 	      && scope);
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index da27711cf66..d4f4d05160f 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2009-07-06  Simon Martin  <simartin@users.sourceforge.net>
+
+	PR c++/40557
+	* g++.dg/template/union2.C: New test.
+
 2009-07-04  Jason Merrill  <jason@redhat.com>
 
 	* g++.dg/template/using15.C: New.
diff --git a/gcc/testsuite/g++.dg/template/union2.C b/gcc/testsuite/g++.dg/template/union2.C
new file mode 100644
index 00000000000..9e0666eae57
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/union2.C
@@ -0,0 +1,12 @@
+/* PR c++/40557 */
+/* { dg-do "compile" } */
+
+struct A
+{
+  typedef int X;
+};
+
+template<int> union B
+{
+  A::X x;
+};