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_constructible 13b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <type_traits> 15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 16b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertemplate <class T> 17b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnervoid test_is_trivially_copy_constructible() 18b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 19b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert( std::is_trivially_copy_constructible<T>::value, ""); 20b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert( std::is_trivially_copy_constructible<const T>::value, ""); 21b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 22b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 23b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertemplate <class T> 24b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnervoid test_has_not_trivial_copy_constructor() 25b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 26b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert(!std::is_trivially_copy_constructible<T>::value, ""); 27b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert(!std::is_trivially_copy_constructible<const T>::value, ""); 28b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 29b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 30b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerclass Empty 31b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 32b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 33b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 34b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerclass NotEmpty 35b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 36b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerpublic: 37b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner virtual ~NotEmpty(); 38b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 39b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 40b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerunion Union {}; 41b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 42b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct bit_zero 43b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 44b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner int : 0; 45b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 46b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 47b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerclass Abstract 48b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 49b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerpublic: 50b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner virtual ~Abstract() = 0; 51b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 52b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 53b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct A 54b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 55b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner A(const A&); 56b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 57b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 58b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main() 59b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 60b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_has_not_trivial_copy_constructor<void>(); 61b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_has_not_trivial_copy_constructor<A>(); 62b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_has_not_trivial_copy_constructor<Abstract>(); 63b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_has_not_trivial_copy_constructor<NotEmpty>(); 64b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 65b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_trivially_copy_constructible<int&>(); 66b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_trivially_copy_constructible<Union>(); 67b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_trivially_copy_constructible<Empty>(); 68b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_trivially_copy_constructible<int>(); 69b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_trivially_copy_constructible<double>(); 70b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_trivially_copy_constructible<int*>(); 71b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_trivially_copy_constructible<const int*>(); 72b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_trivially_copy_constructible<bit_zero>(); 73b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 74