From: Jason Merrill <jason@redhat.com>
Date: Fri, 22 Mar 2013 20:24:17 +0000 (-0400)
Subject: re PR c++/56684 ([C++0x] ICE: unexpected expression 'T' of kind template_parm_index)
X-Git-Tag: upstream/12.2.0~70725
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=e0ef0af5357ea927baa6b65bed2ef4a3ad237cc5;p=platform%2Fupstream%2Fgcc.git

re PR c++/56684 ([C++0x] ICE: unexpected expression 'T' of kind template_parm_index)

	PR c++/56684
	* pt.c (instantiation_dependent_r): Check DECL_INITIAL of VAR_DECL
	and CONST_DECL.

From-SVN: r196983
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index e3428ba..0a943a1 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2013-03-22  Jason Merrill  <jason@redhat.com>
+
+	PR c++/56684
+	* pt.c (instantiation_dependent_r): Check DECL_INITIAL of VAR_DECL
+	and CONST_DECL.
+
 2013-03-21  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 
 	* cp-tree.h (identifier_p): New.
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index b44c632..b6066c1 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -19942,6 +19942,13 @@ instantiation_dependent_r (tree *tp, int *walk_subtrees,
     case TREE_VEC:
       return NULL_TREE;
 
+    case VAR_DECL:
+    case CONST_DECL:
+      /* A constant with a dependent initializer is dependent.  */
+      if (value_dependent_expression_p (*tp))
+	return *tp;
+      break;
+
     case TEMPLATE_PARM_INDEX:
       return *tp;
 
diff --git a/gcc/testsuite/g++.dg/template/const6.C b/gcc/testsuite/g++.dg/template/const6.C
new file mode 100644
index 0000000..3c40d26
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/const6.C
@@ -0,0 +1,7 @@
+// PR c++/56684
+
+template < int T > struct S
+{
+  static const int Ti = T;
+  S() { 1 << Ti; }
+};