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_standard_layout
13
14#include <type_traits>
15#include "test_macros.h"
16
17template <class T>
18void test_is_standard_layout()
19{
20    static_assert( std::is_standard_layout<T>::value, "");
21    static_assert( std::is_standard_layout<const T>::value, "");
22    static_assert( std::is_standard_layout<volatile T>::value, "");
23    static_assert( std::is_standard_layout<const volatile T>::value, "");
24#if TEST_STD_VER > 14
25    static_assert( std::is_standard_layout_v<T>, "");
26    static_assert( std::is_standard_layout_v<const T>, "");
27    static_assert( std::is_standard_layout_v<volatile T>, "");
28    static_assert( std::is_standard_layout_v<const volatile T>, "");
29#endif
30}
31
32template <class T>
33void test_is_not_standard_layout()
34{
35    static_assert(!std::is_standard_layout<T>::value, "");
36    static_assert(!std::is_standard_layout<const T>::value, "");
37    static_assert(!std::is_standard_layout<volatile T>::value, "");
38    static_assert(!std::is_standard_layout<const volatile T>::value, "");
39#if TEST_STD_VER > 14
40    static_assert(!std::is_standard_layout_v<T>, "");
41    static_assert(!std::is_standard_layout_v<const T>, "");
42    static_assert(!std::is_standard_layout_v<volatile T>, "");
43    static_assert(!std::is_standard_layout_v<const volatile T>, "");
44#endif
45}
46
47template <class T1, class T2>
48struct pair
49{
50    T1 first;
51    T2 second;
52};
53
54int main()
55{
56    test_is_standard_layout<int> ();
57    test_is_standard_layout<int[3]> ();
58    test_is_standard_layout<pair<int, double> > ();
59
60    test_is_not_standard_layout<int&> ();
61}
62