re PR c++/80812 (ICE: in build_value_init_noctor, at cp/init.c:483)

PR c++/80812

cp/

PR c++/80812
* method.c (constructible_expr): Strip array types before calling
build_value_init.

libstdc++/

PR c++/80812
* testsuite/20_util/is_constructible/80812.cc: New.

From-SVN: r248788
This commit is contained in:
Ville Voutilainen 2017-06-01 14:09:41 +03:00 committed by Ville Voutilainen
parent 2d16708fa1
commit e257141f07
3 changed files with 36 additions and 1 deletions

View File

@ -1,3 +1,9 @@
2017-06-01 Ville Voutilainen <ville.voutilainen@gmail.com>
PR c++/80812
* method.c (constructible_expr): Strip array types before calling
build_value_init.
2017-06-01 Paolo Carlini <paolo.carlini@oracle.com> 2017-06-01 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/80896 PR c++/80896

View File

@ -1188,7 +1188,7 @@ constructible_expr (tree to, tree from)
else else
{ {
if (from == NULL_TREE) if (from == NULL_TREE)
return build_value_init (to, tf_none); return build_value_init (strip_array_types (to), tf_none);
else if (TREE_CHAIN (from)) else if (TREE_CHAIN (from))
return error_mark_node; // too many initializers return error_mark_node; // too many initializers
from = build_stub_object (TREE_VALUE (from)); from = build_stub_object (TREE_VALUE (from));

View File

@ -0,0 +1,29 @@
// { dg-do compile { target c++11 } }
// Copyright (C) 2017 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.
//
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3. If not see
// <http://www.gnu.org/licenses/>.
#include <type_traits>
struct X
{
X() {}
};
void test01()
{
static_assert(std::is_constructible<X[4]>::value);
}