is_polymorphic.pass.cpp revision 933afa9761c1c1f916161278a99284d50a594939 
1//===----------------------------------------------------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10// type_traits
11
12// is_polymorphic
13
14#include <type_traits>
15
16template <class T>
17void test_is_polymorphic()
18{
19    static_assert( std::is_polymorphic<T>::value, "");
20    static_assert( std::is_polymorphic<const T>::value, "");
21    static_assert( std::is_polymorphic<volatile T>::value, "");
22    static_assert( std::is_polymorphic<const volatile T>::value, "");
23}
24
25template <class T>
26void test_is_not_polymorphic()
27{
28    static_assert(!std::is_polymorphic<T>::value, "");
29    static_assert(!std::is_polymorphic<const T>::value, "");
30    static_assert(!std::is_polymorphic<volatile T>::value, "");
31    static_assert(!std::is_polymorphic<const volatile T>::value, "");
32}
33
34class Empty
35{
36};
37
38class NotEmpty
39{
40    virtual ~NotEmpty();
41};
42
43union Union {};
44
45struct bit_zero
46{
47    int :  0;
48};
49
50class Abstract
51{
52    virtual ~Abstract() = 0;
53};
54
55#if __has_feature(cxx_attributes)
56class Final final {
57};
58#else
59class Final {
60};
61#endif
62
63int main()
64{
65    test_is_not_polymorphic<void>();
66    test_is_not_polymorphic<int&>();
67    test_is_not_polymorphic<int>();
68    test_is_not_polymorphic<double>();
69    test_is_not_polymorphic<int*>();
70    test_is_not_polymorphic<const int*>();
71    test_is_not_polymorphic<char[3]>();
72    test_is_not_polymorphic<char[3]>();
73    test_is_not_polymorphic<Union>();
74    test_is_not_polymorphic<Empty>();
75    test_is_not_polymorphic<bit_zero>();
76    test_is_not_polymorphic<Final>();
77    test_is_not_polymorphic<NotEmpty&>();
78    test_is_not_polymorphic<Abstract&>();
79
80    test_is_polymorphic<NotEmpty>();
81    test_is_polymorphic<Abstract>();
82}
83