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// is_trivial 13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <type_traits> 15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 16933afa9761c1c1f916161278a99284d50a594939Marshall Clowtemplate <class T> 17933afa9761c1c1f916161278a99284d50a594939Marshall Clowvoid test_is_trivial() 18933afa9761c1c1f916161278a99284d50a594939Marshall Clow{ 19933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert( std::is_trivial<T>::value, ""); 20933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert( std::is_trivial<const T>::value, ""); 21933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert( std::is_trivial<volatile T>::value, ""); 22933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert( std::is_trivial<const volatile T>::value, ""); 23933afa9761c1c1f916161278a99284d50a594939Marshall Clow} 24933afa9761c1c1f916161278a99284d50a594939Marshall Clow 25933afa9761c1c1f916161278a99284d50a594939Marshall Clowtemplate <class T> 26933afa9761c1c1f916161278a99284d50a594939Marshall Clowvoid test_is_not_trivial() 27933afa9761c1c1f916161278a99284d50a594939Marshall Clow{ 28933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert(!std::is_trivial<T>::value, ""); 29933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert(!std::is_trivial<const T>::value, ""); 30933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert(!std::is_trivial<volatile T>::value, ""); 31933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert(!std::is_trivial<const volatile T>::value, ""); 32933afa9761c1c1f916161278a99284d50a594939Marshall Clow} 33933afa9761c1c1f916161278a99284d50a594939Marshall Clow 346063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnantstruct A {}; 356063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnant 366063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnantclass B 376063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnant{ 386063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnantpublic: 396063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnant B(); 406063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnant}; 416063ec176d5056683d6ddd310c2e3a8f1c7e1b46Howard Hinnant 42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 44933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_is_trivial<int> (); 45933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_is_trivial<A> (); 46933afa9761c1c1f916161278a99284d50a594939Marshall Clow 47933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_is_not_trivial<int&> (); 48933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_is_not_trivial<volatile int&> (); 49933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_is_not_trivial<B> (); 50c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 51