1c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===// 2c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// 3c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// The LLVM Compiler Infrastructure 4c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// 5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// 8c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===// 9c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 10c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// type_traits 11c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 12c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// class 13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <type_traits> 157490f53118156f446b61583b7f0af0847b5942d7Marshall Clow#include "test_macros.h" 16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_class_imp() 19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_void<T>::value, ""); 217490f53118156f446b61583b7f0af0847b5942d7Marshall Clow#if TEST_STD_VER > 11 2279d8c99a62b6a6fa0b3c0dc3f761659f62f3f587Marshall Clow static_assert(!std::is_null_pointer<T>::value, ""); 2379d8c99a62b6a6fa0b3c0dc3f761659f62f3f587Marshall Clow#endif 24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_integral<T>::value, ""); 25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_floating_point<T>::value, ""); 26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_array<T>::value, ""); 27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_pointer<T>::value, ""); 28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_lvalue_reference<T>::value, ""); 29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_rvalue_reference<T>::value, ""); 30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_member_object_pointer<T>::value, ""); 31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_member_function_pointer<T>::value, ""); 32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_enum<T>::value, ""); 33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_union<T>::value, ""); 34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert( std::is_class<T>::value, ""); 35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_function<T>::value, ""); 36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_class() 40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_class_imp<T>(); 42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_class_imp<const T>(); 43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_class_imp<volatile T>(); 44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_class_imp<const volatile T>(); 45c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 47c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantclass Class 48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 49c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 50c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 517490f53118156f446b61583b7f0af0847b5942d7Marshall Clowstruct incomplete_type; 527490f53118156f446b61583b7f0af0847b5942d7Marshall Clow 53c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 54c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 55c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_class<Class>(); 56211f9a485c4b13c61553d55a7bc662e1506b28fdMarshall Clow test_class<incomplete_type>(); 577490f53118156f446b61583b7f0af0847b5942d7Marshall Clow 58211f9a485c4b13c61553d55a7bc662e1506b28fdMarshall Clow// LWG#2582 597490f53118156f446b61583b7f0af0847b5942d7Marshall Clow static_assert( std::is_class<incomplete_type>::value, ""); 60c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 61