From: Jason Merrill <jason@redhat.com>
Date: Tue, 22 Jan 2013 01:27:19 +0000 (-0500)
Subject: re PR c++/56059 (SIGSEGV on invalid C++11 code)
X-Git-Tag: upstream/12.2.0~71631
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=dcdb8613c25cee5ec5841aca65ee6a20cc8d9a02;p=platform%2Fupstream%2Fgcc.git

re PR c++/56059 (SIGSEGV on invalid C++11 code)

	PR c++/56059
	* tree.c (strip_typedefs_expr) [TREE_VEC]: Preserve non-default
	template args count.

From-SVN: r195355
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 6370f7f..162420b 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2013-01-21  Jason Merrill  <jason@redhat.com>
+
+	PR c++/56059
+	* tree.c (strip_typedefs_expr) [TREE_VEC]: Preserve non-default
+	template args count.
+
 2013-01-18  Jason Merrill  <jason@redhat.com>
 
 	PR target/54908
diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c
index 2b108c1..d1f14fc 100644
--- a/gcc/cp/tree.c
+++ b/gcc/cp/tree.c
@@ -1351,6 +1351,8 @@ strip_typedefs_expr (tree t)
 	    r = copy_node (t);
 	    for (i = 0; i < n; ++i)
 	      TREE_VEC_ELT (r, i) = (*vec)[i];
+	    SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT
+	      (r, GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT (t));
 	  }
 	else
 	  r = t;
diff --git a/gcc/testsuite/g++.dg/cpp0x/decltype48.C b/gcc/testsuite/g++.dg/cpp0x/decltype48.C
new file mode 100644
index 0000000..29ce815
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/decltype48.C
@@ -0,0 +1,16 @@
+// PR c++/56059
+// { dg-options -std=c++11 }
+
+typedef int Int;
+template<typename T> struct baz { };
+template<typename T> T bar();
+
+template<typename T, typename ... U>
+baz<decltype(bar<Int>(bar<U>() ...))> // { dg-error "no match" }
+foo();
+
+int main()
+{
+  foo<int, int>();		// { dg-error "no match" }
+  return 0;
+}