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 121468b668aa964beb1220e9b36162b092fb54952bHoward Hinnant// is_trivially_copy_assignable 13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <type_traits> 15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 16933afa9761c1c1f916161278a99284d50a594939Marshall Clowtemplate <class T> 17933afa9761c1c1f916161278a99284d50a594939Marshall Clowvoid test_has_trivially_copy_assignable() 18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 19933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert( std::is_trivially_copy_assignable<T>::value, ""); 20933afa9761c1c1f916161278a99284d50a594939Marshall Clow} 21933afa9761c1c1f916161278a99284d50a594939Marshall Clow 22933afa9761c1c1f916161278a99284d50a594939Marshall Clowtemplate <class T> 23933afa9761c1c1f916161278a99284d50a594939Marshall Clowvoid test_has_not_trivially_copy_assignable() 24933afa9761c1c1f916161278a99284d50a594939Marshall Clow{ 25933afa9761c1c1f916161278a99284d50a594939Marshall Clow static_assert(!std::is_trivially_copy_assignable<T>::value, ""); 26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantclass Empty 29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantclass NotEmpty 33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant virtual ~NotEmpty(); 35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantunion Union {}; 38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct bit_zero 40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant int : 0; 42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantclass Abstract 45c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant virtual ~Abstract() = 0; 47c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 49c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct A 50c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 51c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant A& operator=(const A&); 52c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 53c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 54c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 55c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 56933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_has_trivially_copy_assignable<int&>(); 57933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_has_trivially_copy_assignable<Union>(); 58933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_has_trivially_copy_assignable<Empty>(); 59933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_has_trivially_copy_assignable<int>(); 60933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_has_trivially_copy_assignable<double>(); 61933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_has_trivially_copy_assignable<int*>(); 62933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_has_trivially_copy_assignable<const int*>(); 63933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_has_trivially_copy_assignable<bit_zero>(); 64933afa9761c1c1f916161278a99284d50a594939Marshall Clow 65933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_has_not_trivially_copy_assignable<void>(); 66933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_has_not_trivially_copy_assignable<A>(); 67933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_has_not_trivially_copy_assignable<NotEmpty>(); 68933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_has_not_trivially_copy_assignable<Abstract>(); 69933afa9761c1c1f916161278a99284d50a594939Marshall Clow test_has_not_trivially_copy_assignable<const Empty>(); 70c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 71c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 72