procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

PR c++/78897 - constexpr union

Browse source 
* constexpr.c (cxx_eval_store_expression): A store to a union member
	erases a previous store to another member.

From-SVN: r245341
This commit is contained in:
Jason Merrill 2017-02-10 13:50:30 -05:00 • committed by Jason Merrill
parent f494ac0ebd
commit 5c97093ba7
3 changed files with 20 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/cp/ChangeLog
View file

@ -1,5 +1,9 @@
2017-02-10 Jason Merrill <jason@redhat.com>
PR c++/78897 - constexpr union
* constexpr.c (cxx_eval_store_expression): A store to a union member
erases a previous store to another member.
PR c++/71285 - member of fold-expression
* semantics.c (finish_unary_fold_expr)
(finish_binary_fold_expr): Use null type for fold-expressions.

5
gcc/cp/constexpr.c
View file

@ -3466,6 +3466,11 @@ cxx_eval_store_expression (const constexpr_ctx *ctx, tree t,
tree fields = TYPE_FIELDS (DECL_CONTEXT (index));
unsigned HOST_WIDE_INT idx;
if (code == UNION_TYPE && CONSTRUCTOR_NELTS (*valp)
&& CONSTRUCTOR_ELT (*valp, 0)->index != index)
/* Changing active member. */
vec_safe_truncate (CONSTRUCTOR_ELTS (*valp), 0);
for (idx = 0;
vec_safe_iterate (CONSTRUCTOR_ELTS (*valp), idx, &cep);
idx++, fields = DECL_CHAIN (fields))

11
gcc/testsuite/g++.dg/cpp1y/constexpr-union1.C Normal file
View file

@ -0,0 +1,11 @@
// PR c++/78897
// { dg-do compile { target c++14 } }
struct Optional {
constexpr Optional() : _dummy{} { _value = 1; }
union {
int _dummy;
int _value;
};
};
Optional opt{};