[PATCH] PR c++/90532 Ensure __is_constructible(T[]) is false

Jonathan Wakely jwakely@redhat.com
Mon May 20 11:33:00 GMT 2019


On 20/05/19 07:29 -0400, Nathan Sidwell wrote:
>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

I noticed a missing space here, so I fixed that before committing:

-  else if (TREE_CODE(to) == ARRAY_TYPE && !TYPE_DOMAIN (to))
+  else if (TREE_CODE (to) == ARRAY_TYPE && !TYPE_DOMAIN (to))



More information about the Libstdc++ mailing list