This is the mail archive of the
libstdc++@gcc.gnu.org
mailing list for the libstdc++ project.
Re: [PATCH] PR c++/90532 Ensure __is_constructible(T[]) is false
- From: Nathan Sidwell <nathan at acm dot org>
- To: Jonathan Wakely <jwakely at redhat dot com>, libstdc++ at gcc dot gnu dot org, gcc-patches at gcc dot gnu dot org
- Cc: Jason Merrill <jason at redhat dot com>
- Date: Mon, 20 May 2019 07:29:16 -0400
- Subject: Re: [PATCH] PR c++/90532 Ensure __is_constructible(T[]) is false
- References: <20190520104308.GA2178@redhat.com>
On 5/20/19 6:43 AM, Jonathan Wakely wrote:
An array of an unknown bound is an incomplete type, so no object of such
a type can be constructed. This means __is_constructible should always
be false for an array of unknown bound.
This patch also changes the std::is_default_constructible trait to use
std::is_constructible, which now gives the right answer for arrays of
unknown bound.
gcc/cp:
PR c++/90532 Ensure __is_constructible(T[]) is false
* method.c (is_xible_helper): Return error_mark_node for construction
of an array of unknown bound.
ok, thanks
--
Nathan Sidwell