1b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===// 2b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 3b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// The LLVM Compiler Infrastructure 4b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 5b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// This file is dual licensed under the MIT and the University of Illinois Open 6b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// Source Licenses. See LICENSE.TXT for details. 7b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 8b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===// 9b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 10b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// type_traits 11b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 12b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// is_trivially_copy_assignable 13b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <type_traits> 15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 16ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnertemplate <class T> 17ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnervoid test_has_trivially_copy_assignable() 18b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 19ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner static_assert( std::is_trivially_copy_assignable<T>::value, ""); 20ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner} 21ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner 22ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnertemplate <class T> 23ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnervoid test_has_not_trivially_copy_assignable() 24ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner{ 25ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner static_assert(!std::is_trivially_copy_assignable<T>::value, ""); 26b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 27b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 28b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerclass Empty 29b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 30b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 31b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 32b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerclass NotEmpty 33b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 34b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner virtual ~NotEmpty(); 35b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 36b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 37b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerunion Union {}; 38b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 39b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct bit_zero 40b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 41b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner int : 0; 42b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 43b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 44b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerclass Abstract 45b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 46b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner virtual ~Abstract() = 0; 47b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 48b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 49b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct A 50b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 51b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner A& operator=(const A&); 52b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 53b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 54b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main() 55b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 56ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_has_trivially_copy_assignable<int&>(); 57ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_has_trivially_copy_assignable<Union>(); 58ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_has_trivially_copy_assignable<Empty>(); 59ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_has_trivially_copy_assignable<int>(); 60ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_has_trivially_copy_assignable<double>(); 61ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_has_trivially_copy_assignable<int*>(); 62ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_has_trivially_copy_assignable<const int*>(); 63ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_has_trivially_copy_assignable<bit_zero>(); 64ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner 65ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_has_not_trivially_copy_assignable<void>(); 66ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_has_not_trivially_copy_assignable<A>(); 67ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_has_not_trivially_copy_assignable<NotEmpty>(); 68ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_has_not_trivially_copy_assignable<Abstract>(); 69ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_has_not_trivially_copy_assignable<const Empty>(); 70b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 71b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 72