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> 15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_class_imp() 18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_reference<T>::value, ""); 20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_arithmetic<T>::value, ""); 21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_fundamental<T>::value, ""); 22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert( std::is_object<T>::value, ""); 23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_scalar<T>::value, ""); 24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert( std::is_compound<T>::value, ""); 25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(!std::is_member_pointer<T>::value, ""); 26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_class() 30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_class_imp<T>(); 32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_class_imp<const T>(); 33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_class_imp<volatile T>(); 34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_class_imp<const volatile T>(); 35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantclass Class 38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant int _; 40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant double __; 41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 45c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_class<Class>(); 46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 47