This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: C++ PATCHes to add __is_trivially_*
- From: Ville Voutilainen <ville dot voutilainen at gmail dot com>
- To: Paolo Carlini <paolo dot carlini at oracle dot com>
- Cc: Jason Merrill <jason at redhat dot com>, "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, libstdc++ at gcc dot gnu dot org
- Date: Wed, 1 Oct 2014 11:48:28 +0300
- Subject: Re: C++ PATCHes to add __is_trivially_*
- Authentication-results: sourceware.org; auth=none
- References: <CAFk2RUZqqhZ0C=r7nn1=rRK0te5Uqi4X+3oeXoYGR5WLv7RzGg at mail dot gmail dot com> <542BB722 dot 5080600 at oracle dot com>
On 1 October 2014 11:11, Paolo Carlini <paolo.carlini@oracle.com> wrote:
> Hi again,
>
> On 10/01/2014 12:48 AM, Ville Voutilainen wrote:
>>
>> The intrinsics still fail to support certain variadic cases, such as
>> template <class T, class... Args> void bar() {
>> static_assert(__is_trivially_constructible(T, Args...), ""); }
>
> ... depending on your arrangements with Jason you may or may not want to
> open a separate bug report for this...
It's a tad incorrect/premature to close c++/63362 as resolved yet.
is_trivially_constructible
is a variadic trait, so while that example is for a function template,
we need to do exactly
that sort of an operation in the trait class, so the intrinsic needs
to support variadic
arguments. I don't think the status of the bug is a big deal though,
I'm sure Jason knows
this issue. :)