From: Jakub Jelinek <jakub@redhat.com>
Date: Tue, 30 Dec 2008 23:52:06 +0000 (+0100)
Subject: re PR c++/38640 (ICE with decltype of template value parameter)
X-Git-Tag: releases/gcc-4.4.0~1091
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=088d4f95da02aab7953cb26441e68c98098109c5;p=thirdparty%2Fgcc.git

re PR c++/38640 (ICE with decltype of template value parameter)

	PR c++/38640
	* semantics.c (finish_decltype_type): Handle TEMPLATE_PARM_INDEX.

	* g++.dg/cpp0x/decltype15.C: New test.

From-SVN: r142973
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 10986b68c918..6f34380bb868 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2008-12-31  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/38640
+	* semantics.c (finish_decltype_type): Handle TEMPLATE_PARM_INDEX.
+
 2008-12-29  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c++/38635
diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c
index 62d246294b72..782b1ddda1d0 100644
--- a/gcc/cp/semantics.c
+++ b/gcc/cp/semantics.c
@@ -4640,6 +4640,7 @@ finish_decltype_type (tree expr, bool id_expression_or_member_access_p)
         case CONST_DECL:
         case PARM_DECL:
         case RESULT_DECL:
+        case TEMPLATE_PARM_INDEX:
           type = TREE_TYPE (expr);
           break;
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1464523b5bf6..6b66b92e5470 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2008-12-31  Jakub Jelinek  <jakub@redhat.com>
 
+	PR c++/38640
+	* g++.dg/cpp0x/decltype15.C: New test.
+
 	PR middle-end/38676
 	* gcc.dg/gomp/pr38676.c: New test.
 
diff --git a/gcc/testsuite/g++.dg/cpp0x/decltype15.C b/gcc/testsuite/g++.dg/cpp0x/decltype15.C
new file mode 100644
index 000000000000..5c2d445debf0
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/decltype15.C
@@ -0,0 +1,13 @@
+// PR c++/38640
+// { dg-do compile }
+// { dg-options "-std=c++0x" }
+
+template<int N> void foo (decltype (N));
+template<long int N> void foo (decltype (N));
+
+void
+bar (void)
+{
+  foo<5> (6);
+  foo<5L> (6L);
+}