From: Jason Merrill <jason@redhat.com>
Date: Mon, 18 Sep 2017 18:34:03 +0000 (-0400)
Subject: PR c++/79607 - ICE with T{} initializer
X-Git-Tag: releases/gcc-5.5.0~32
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ef2dd804cd3547e172ea327d5fb6aff3fd64961a;p=thirdparty%2Fgcc.git

PR c++/79607 - ICE with T{} initializer

	* decl.c (type_dependent_init_p): Check the type of a CONSTRUCTOR.

From-SVN: r252939
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index f78bce6be987..7cfae4e95639 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,8 @@
 2017-09-18  Jason Merrill  <jason@redhat.com>
 
+	PR c++/79607 - ICE with T{} initializer
+	* decl.c (type_dependent_init_p): Check the type of a CONSTRUCTOR.
+
 	PR c++/72457
 	* init.c (expand_aggr_init_1): Only handle value-init of bases.
 	* constexpr.c (build_data_member_initialization): Handle multiple
diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c
index 04f1c711b0cd..3472d29afad0 100644
--- a/gcc/cp/decl.c
+++ b/gcc/cp/decl.c
@@ -6349,6 +6349,9 @@ type_dependent_init_p (tree init)
   else if (TREE_CODE (init) == CONSTRUCTOR)
   /* A brace-enclosed initializer, e.g.: int i = { 3 }; ? */
     {
+      if (dependent_type_p (TREE_TYPE (init)))
+	return true;
+
       vec<constructor_elt, va_gc> *elts;
       size_t nelts;
       size_t i;
diff --git a/gcc/testsuite/g++.dg/template/init11.C b/gcc/testsuite/g++.dg/template/init11.C
new file mode 100644
index 000000000000..ef337c0be600
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/init11.C
@@ -0,0 +1,9 @@
+// PR c++/79607
+// { dg-do compile { target c++11 } }
+
+template<typename T> struct A
+{
+  static const int i = int{T{}};
+};
+
+A<int> a;