diff --git a/gcc/cp/typeck2.c b/gcc/cp/typeck2.c index c01f2f8ced449acf3fd5ebd1f884635d8895823e..e98fbf7f5fa31b5ce44b18af46fc355ff9ebcb61 100644 --- a/gcc/cp/typeck2.c +++ b/gcc/cp/typeck2.c @@ -484,6 +484,15 @@ split_nonconstant_init_1 (tree dest, tree init, bool nested) && TYPE_HAS_NONTRIVIAL_DESTRUCTOR (type)) || vla_type_p (type)) { + if (!TYPE_DOMAIN (type) + && TREE_CODE (init) == CONSTRUCTOR + && CONSTRUCTOR_NELTS (init)) + { + /* Flexible array. */ + cp_complete_array_type (&type, init, /*default*/true); + dest = build1 (VIEW_CONVERT_EXPR, type, dest); + } + /* For an array, we only need/want a single cleanup region rather than one per element. */ tree code = build_vec_init (dest, NULL_TREE, init, false, 1, diff --git a/gcc/testsuite/g++.dg/ext/flexary37.C b/gcc/testsuite/g++.dg/ext/flexary37.C index ceb5053de2e15098b6630cdaf7595efb69f9dd67..5cd48c1f773fd543bbd6c076671f32ff9e61aeb9 100644 --- a/gcc/testsuite/g++.dg/ext/flexary37.C +++ b/gcc/testsuite/g++.dg/ext/flexary37.C @@ -12,4 +12,4 @@ public: struct y { // { dg-error "unknown array size in delete" } int a; C b[]; -} y = { 1, { { 2, 3 } } }; // { dg-error "unknown array size in delete" } +} y = { 1, { { 2, 3 } } };