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 10986b68c91874d4bb1320d7d9ac2a64ecdcb54a..6f34380bb8681a0d3b613d5dffca07c84981e30b 100644 (file)
--- 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 62d246294b726e2da7e466ce2c0d2cfd49de4f21..782b1ddda1d054599a2360f76a5de8b0db66ef43 100644 (file)
--- 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 1464523b5bf656653b7a4dc93fe70250de85db1b..6b66b92e547046cc6658a2cada4e2bfb7b75738b 100644 (file)
--- 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 (file)
index 0000000..5c2d445
--- /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);
+}