1 //===----------------------------------------------------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
12 // is_trivially_destructible
14 #include <type_traits>
17 void test_is_trivially_destructible()
19 static_assert( std::is_trivially_destructible<T>::value, "");
20 static_assert( std::is_trivially_destructible<const T>::value, "");
21 static_assert( std::is_trivially_destructible<volatile T>::value, "");
22 static_assert( std::is_trivially_destructible<const volatile T>::value, "");
26 void test_has_not_trivial_destructor()
28 static_assert(!std::is_trivially_destructible<T>::value, "");
29 static_assert(!std::is_trivially_destructible<const T>::value, "");
30 static_assert(!std::is_trivially_destructible<volatile T>::value, "");
31 static_assert(!std::is_trivially_destructible<const volatile T>::value, "");
52 virtual void foo() = 0;
55 class AbstractDestructor
57 virtual ~AbstractDestructor() = 0;
67 test_has_not_trivial_destructor<void>();
68 test_has_not_trivial_destructor<A>();
69 test_has_not_trivial_destructor<AbstractDestructor>();
70 test_has_not_trivial_destructor<NotEmpty>();
72 test_is_trivially_destructible<Abstract>();
73 test_is_trivially_destructible<int&>();
74 test_is_trivially_destructible<Union>();
75 test_is_trivially_destructible<Empty>();
76 test_is_trivially_destructible<int>();
77 test_is_trivially_destructible<double>();
78 test_is_trivially_destructible<int*>();
79 test_is_trivially_destructible<const int*>();
80 test_is_trivially_destructible<char[3]>();
81 test_is_trivially_destructible<char[3]>();
82 test_is_trivially_destructible<bit_zero>();