From: mpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 30 Jan 2019 19:04:05 +0000 (+0000)
Subject: 	PR c++/89119 - ICE with value-initialization in template.
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7066144aacd720f59c54ec7b023a902c3f6c9ca9;p=thirdparty%2Fgcc.git

	PR c++/89119 - ICE with value-initialization in template.
	* pt.c (tsubst_copy_and_build): Handle RANGE_EXPR.

	* g++.dg/cpp0x/initlist-value3.C: New test.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@268400 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index af4d9c2635ef..4b9095188589 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2019-01-30  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/89119 - ICE with value-initialization in template.
+	* pt.c (tsubst_copy_and_build): Handle RANGE_EXPR.
+
 2019-01-29  Jason Merrill  <jason@redhat.com>
 
 	PR c++/86943 - wrong code converting lambda to function pointer.
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index cb06a570d48c..f92fa1a18134 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -19412,6 +19412,11 @@ tsubst_copy_and_build (tree t,
     case REQUIRES_EXPR:
       RETURN (tsubst_requires_expr (t, args, complain, in_decl));
 
+    case RANGE_EXPR:
+      /* No need to substitute further, a RANGE_EXPR will always be built
+	 with constant operands.  */
+      RETURN (t);
+
     case NON_LVALUE_EXPR:
     case VIEW_CONVERT_EXPR:
       if (location_wrapper_p (t))
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3d02efb8ade4..8bb5f40d65a8 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-01-30  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/89119 - ICE with value-initialization in template.
+	* g++.dg/cpp0x/initlist-value3.C: New test.
+
 2019-01-30  Kelvin Nilsen  <kelvin@gcc.gnu.org>
 
 	* gcc.target/powerpc/vec-extract-schar-1.c: New test.
diff --git a/gcc/testsuite/g++.dg/cpp0x/initlist-value3.C b/gcc/testsuite/g++.dg/cpp0x/initlist-value3.C
new file mode 100644
index 000000000000..25ac104d24dd
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/initlist-value3.C
@@ -0,0 +1,23 @@
+// PR c++/89119
+// { dg-do compile { target c++11 } }
+
+struct S { int a[4]; };
+
+template<int N>
+struct R { int a[N]; };
+
+template <typename T>
+void
+fn ()
+{
+  constexpr auto s = S();
+  constexpr auto s2 = S{};
+  constexpr auto r = R<4>();
+  constexpr auto r2 = R<4>{};
+}
+
+void
+foo ()
+{
+  fn<int>();
+}