From 3569f81f2ddc25b1ea22c99230c3e35032bd4752 Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Fri, 9 Mar 2018 22:34:23 -0500 Subject: [PATCH] PR c++/84752 - ICE with capture of constexpr array. * call.c (standard_conversion): Set rvaluedness_matches_p on the identity conversion under ck_lvalue. From-SVN: r258406 --- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/call.c | 4 +++- gcc/testsuite/g++.dg/cpp0x/lambda/lambda-array3.C | 9 +++++++++ 3 files changed, 18 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/cpp0x/lambda/lambda-array3.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 52fa63e0227..05cfb768bc6 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2018-03-09 Jason Merrill + + PR c++/84752 - ICE with capture of constexpr array. + * call.c (standard_conversion): Set rvaluedness_matches_p on the + identity conversion under ck_lvalue. + 2018-03-09 Jason Merrill Paolo Carlini diff --git a/gcc/cp/call.c b/gcc/cp/call.c index 17cd1c4f63e..45c22aaa312 100644 --- a/gcc/cp/call.c +++ b/gcc/cp/call.c @@ -103,7 +103,7 @@ struct conversion { being bound to an rvalue expression. If KIND is ck_rvalue, true when we are treating an lvalue as an rvalue (12.8p33). If KIND is ck_base, always false. If ck_identity, we will be - binding a reference directly. */ + binding a reference directly or decaying to a pointer. */ BOOL_BITFIELD rvaluedness_matches_p: 1; BOOL_BITFIELD check_narrowing: 1; /* The type of the expression resulting from the conversion. */ @@ -1139,6 +1139,8 @@ standard_conversion (tree to, tree from, tree expr, bool c_cast_p, { from = type_decays_to (from); fcode = TREE_CODE (from); + /* Tell convert_like_real that we're using the address. */ + conv->rvaluedness_matches_p = true; conv = build_conv (ck_lvalue, from, conv); } /* Wrapping a ck_rvalue around a class prvalue (as a result of using diff --git a/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-array3.C b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-array3.C new file mode 100644 index 00000000000..09711033511 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-array3.C @@ -0,0 +1,9 @@ +// PR c++/84752 +// { dg-do compile { target c++11 } } + +void foo() +{ + constexpr int x[1] = {}; + [&x]{ return (bool)x; }; +} + -- 2.30.2