Re: C++ PATCHes to add __is_trivially_*

2014-10-01 Thread Paolo Carlini
Hi, On 10/01/2014 12:48 AM, Ville Voutilainen wrote: Ville asked for help with the necessary compiler intrinsics for the is_trivially_* C++11 library traits. The first patch cleans up a few oddities I noticed with the Great. I think this can be as well marked as PR c++/26099. There's also

Re: C++ PATCHes to add __is_trivially_*

2014-10-01 Thread Paolo Carlini
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

Re: C++ PATCHes to add __is_trivially_*

2014-10-01 Thread Ville Voutilainen
On 1 October 2014 11:11, Paolo Carlini paolo.carl...@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,

Re: C++ PATCHes to add __is_trivially_*

2014-10-01 Thread Jason Merrill
On 09/30/2014 06:48 PM, Ville Voutilainen wrote: Ville asked for help with the necessary compiler intrinsics for the is_trivially_* C++11 library traits. The first patch cleans up a few oddities I noticed with the Great. I think this can be as well marked as PR c++/26099. There's also PR

Re: C++ PATCHes to add __is_trivially_*

2014-10-01 Thread Ville Voutilainen
On 1 October 2014 20:20, Jason Merrill ja...@redhat.com wrote: Here are two more patches: the first fixes trivial_fn_p for a defaulted default constructor overloaded with a template default constructor, and the second fixes the variadic case above. Excellent, thank you very much. Paolo, feel

C++ PATCHes to add __is_trivially_*

2014-09-30 Thread Jason Merrill
Ville asked for help with the necessary compiler intrinsics for the is_trivially_* C++11 library traits. The first patch cleans up a few oddities I noticed with the existing intrinsics. __is_convertible_to was never implemented and isn't needed. There's no need for a second grokdeclarator

Re: C++ PATCHes to add __is_trivially_*

2014-09-30 Thread Paolo Carlini
Hi, On 09/30/2014 07:13 PM, Jason Merrill wrote: Ville asked for help with the necessary compiler intrinsics for the is_trivially_* C++11 library traits. The first patch cleans up a few oddities I noticed with the existing intrinsics. __is_convertible_to was never implemented and isn't

Re: C++ PATCHes to add __is_trivially_*

2014-09-30 Thread Ville Voutilainen
Ville asked for help with the necessary compiler intrinsics for the is_trivially_* C++11 library traits. The first patch cleans up a few oddities I noticed with the Great. I think this can be as well marked as PR c++/26099. There's also PR c++/63362. The intrinsics still fail to support

Re: C++ PATCHes to add __is_trivially_*

2014-09-30 Thread Jason Merrill
On 09/30/2014 06:48 PM, 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...), ); } Oops. Jason