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_nothrow_destructible 13b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <type_traits> 15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 16b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertemplate <class T> 17b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnervoid test_is_nothrow_destructible() 18b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 19b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert( std::is_nothrow_destructible<T>::value, ""); 20b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert( std::is_nothrow_destructible<const T>::value, ""); 21b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert( std::is_nothrow_destructible<volatile T>::value, ""); 22b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert( std::is_nothrow_destructible<const volatile T>::value, ""); 23b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 24b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 25b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertemplate <class T> 26b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnervoid test_has_not_nothrow_destructor() 27b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 28b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert(!std::is_nothrow_destructible<T>::value, ""); 29b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert(!std::is_nothrow_destructible<const T>::value, ""); 30b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert(!std::is_nothrow_destructible<volatile T>::value, ""); 31b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert(!std::is_nothrow_destructible<const volatile T>::value, ""); 32b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 33b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 34b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerclass Empty 35b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 36b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 37b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 38b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerclass NotEmpty 39b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 40b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner virtual ~NotEmpty(); 41b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 42b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 43b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerunion Union {}; 44b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 45b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct bit_zero 46b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 47b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner int : 0; 48b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 49b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 50b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerclass Abstract 51b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 52b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner virtual ~Abstract() = 0; 53b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 54b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 55b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct A 56b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 57b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner ~A(); 58b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 59b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 60b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main() 61b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 62b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_has_not_nothrow_destructor<void>(); 63b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_has_not_nothrow_destructor<Abstract>(); 64b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_has_not_nothrow_destructor<NotEmpty>(); 65b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 66ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner#if __has_feature(cxx_noexcept) 67b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_nothrow_destructible<A>(); 68ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner#endif 69b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_nothrow_destructible<int&>(); 70ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner#if __has_feature(cxx_unrestricted_unions) 71b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_nothrow_destructible<Union>(); 72ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner#endif 73ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner#if __has_feature(cxx_access_control_sfinae) 74b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_nothrow_destructible<Empty>(); 75ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner#endif 76b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_nothrow_destructible<int>(); 77b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_nothrow_destructible<double>(); 78b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_nothrow_destructible<int*>(); 79b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_nothrow_destructible<const int*>(); 80b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_nothrow_destructible<char[3]>(); 81b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_nothrow_destructible<char[3]>(); 82ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner#if __has_feature(cxx_noexcept) 83b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test_is_nothrow_destructible<bit_zero>(); 84ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner#endif 85b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 86