OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

PR c++/84752 - ICE with capture of constexpr array.

Browse Source 
* call.c (standard_conversion): Set rvaluedness_matches_p on the
	identity conversion under ck_lvalue.

From-SVN: r258406
This commit is contained in:
Jason Merrill 2018-03-09 22:34:23 -05:00 committed by Jason Merrill
parent a72e8ba830
commit 3569f81f2d
3 changed files with 18 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/cp/ChangeLog
View File

@ -1,3 +1,9 @@
2018-03-09 Jason Merrill <jason@redhat.com>
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 <jason@redhat.com>
Paolo Carlini <paolo.carlini@oracle.com>

4
gcc/cp/call.c
View File

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

9
gcc/testsuite/g++.dg/cpp0x/lambda/lambda-array3.C Normal file
View File

@ -0,0 +1,9 @@
// PR c++/84752
// { dg-do compile { target c++11 } }
void foo()
{
constexpr int x[1] = {};
[&x]{ return (bool)x; };
}