Howard Hinnant 11a50ac497 Richard Smith: It was pointed out to me off-list that libc++'s non-compiler-builtin ... implementation of std::is_polymorphic does this: template <class _Tp> struct __is_polymorphic1 : public _Tp {}; ... and that g++ rejects this if _Tp has an inaccessible virtual destructor (because __is_polymorphic1<_Tp> would have a deleted virtual destructor overriding _Tp's non-deleted destructor). Clang was failing to reject this; I've fixed that in r178563, but that causes libc++'s corresponding test case to fail with both clang and gcc when using the fallback implementation. The fallback code also incorrectly rejects final types. The attached patch fixes the fallback implementation of is_polymorphic; we now use dynamic_cast's detection of polymorphic class types rather than trying to determine if adding a virtual function makes the type larger: enable_if<sizeof((_Tp*)dynamic_cast<const volatile void*>(declval<_Tp*>())) != 0, ...> Two things of note here: * the (_Tp*) cast is necessary to work around bugs in Clang and g++ where we otherwise don't instantiate the dynamic_cast (filed as PR15656) * the 'const volatile' is here to treat is_polymorphic<cv T> as true for a polymorphic class type T -- my reading of the standard suggests this is incorrect, but it matches our builtin __is_polymorphic and gcc git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@178576 91177308-0d34-0410-b5e6-96231b3b80d8		2013-04-02 21:25:06 +00:00
..
has_virtual_destructor.pass.cpp	license change	2010-11-16 22:09:02 +00:00
is_abstract.pass.cpp	license change	2010-11-16 22:09:02 +00:00
is_assignable.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_const.pass.cpp	license change	2010-11-16 22:09:02 +00:00
is_constructible.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_copy_assignable.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_copy_constructible.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_default_constructible.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_destructible.pass.cpp	N3142. Many of these traits are just placeholders with medium quality emulation; waiting on compiler intrinsics to do it right.	2010-11-19 22:17:28 +00:00
is_empty.pass.cpp	license change	2010-11-16 22:09:02 +00:00
is_literal_type.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_move_assignable.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_move_constructible.pass.cpp	N3142. Many of these traits are just placeholders with medium quality emulation; waiting on compiler intrinsics to do it right.	2010-11-19 22:17:28 +00:00
is_nothrow_assignable.pass.cpp	N3142. Many of these traits are just placeholders with medium quality emulation; waiting on compiler intrinsics to do it right.	2010-11-19 22:17:28 +00:00
is_nothrow_constructible.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_nothrow_copy_assignable.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_nothrow_copy_constructible.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_nothrow_default_constructible.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_nothrow_destructible.pass.cpp	noexcept for <memory>. I've added a few extension noexcept to: allocator_traits<A>::deallocate, allocaate<T>::deallocate, return_temporary_buffer, and default_delete<T>::operator()(T*) const. My rationale was: If a std-dicated noexcept function needs to call another std-defined function, that called function must be noexcept. We're all a little new to noexcept, so things like this are to be expected. Also included fix for broken __is_swappable trait pointed out by Marc Glisse, thanks Marc|. And fixed a test case for is_nothrow_destructible. Destructors are now noexcept by default|	2011-05-28 14:41:13 +00:00
is_nothrow_move_assignable.pass.cpp	N3142. Many of these traits are just placeholders with medium quality emulation; waiting on compiler intrinsics to do it right.	2010-11-19 22:17:28 +00:00
is_nothrow_move_constructible.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_pod.pass.cpp	license change	2010-11-16 22:09:02 +00:00
is_polymorphic.pass.cpp	Richard Smith: It was pointed out to me off-list that libc++'s non-compiler-builtin	2013-04-02 21:25:06 +00:00
is_signed.pass.cpp	license change	2010-11-16 22:09:02 +00:00
is_standard_layout.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_trivial.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_trivialially_copyable.pass.cpp	A much improved type_traits for C++0x. Not yet done: is_trivially_constructible, is_trivially_assignable and underlying_type.	2011-05-13 14:08:16 +00:00
is_trivially_assignable.pass.cpp	N3142. Many of these traits are just placeholders with medium quality emulation; waiting on compiler intrinsics to do it right.	2010-11-19 22:17:28 +00:00
is_trivially_constructible.pass.cpp	N3142. Many of these traits are just placeholders with medium quality emulation; waiting on compiler intrinsics to do it right.	2010-11-19 22:17:28 +00:00
is_trivially_copy_assignable.pass.cpp	N3142. Many of these traits are just placeholders with medium quality emulation; waiting on compiler intrinsics to do it right.	2010-11-19 22:17:28 +00:00
is_trivially_copy_constructible.pass.cpp	Hook up to the new clang __is_trivially_constructible and __is_trivially_assignable traits. Fixes r10925427 and http://llvm.org/bugs/show_bug.cgi?id=12038.	2012-02-24 23:32:26 +00:00
is_trivially_default_constructible.pass.cpp	N3142. Many of these traits are just placeholders with medium quality emulation; waiting on compiler intrinsics to do it right.	2010-11-19 22:17:28 +00:00
is_trivially_destructible.pass.cpp	N3142. Many of these traits are just placeholders with medium quality emulation; waiting on compiler intrinsics to do it right.	2010-11-19 22:17:28 +00:00
is_trivially_move_assignable.pass.cpp	N3142. Many of these traits are just placeholders with medium quality emulation; waiting on compiler intrinsics to do it right.	2010-11-19 22:17:28 +00:00
is_trivially_move_constructible.pass.cpp	Hook up to the new clang __is_trivially_constructible and __is_trivially_assignable traits. Fixes r10925427 and http://llvm.org/bugs/show_bug.cgi?id=12038.	2012-02-24 23:32:26 +00:00
is_unsigned.pass.cpp	license change	2010-11-16 22:09:02 +00:00
is_volatile.pass.cpp	license change	2010-11-16 22:09:02 +00:00