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.

From-SVN: r268400
This commit is contained in:
Marek Polacek 2019-01-30 19:04:05 +00:00 committed by Marek Polacek
parent 7341a03ab8
commit 9f4e09a89a
4 changed files with 38 additions and 0 deletions

View File

@ -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.

View File

@ -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))

View File

@ -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.

View File

@ -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>();
}