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// <utility>
11
12// template <class T1, class T2> struct pair
13
14// pair(pair const&) = default;
15// pair(pair&&) = default;
16
17// Doesn't pass due to use of is_trivially_* trait.
18// XFAIL: gcc-4.9
19
20#include <utility>
21#include <cassert>
22
23#include "test_macros.h"
24
25struct Dummy {
26  Dummy(Dummy const&) = delete;
27  Dummy(Dummy &&) = default;
28};
29
30int main()
31{
32    typedef std::pair<int, short> P;
33    {
34        static_assert(std::is_copy_constructible<P>::value, "");
35#if !defined(_LIBCPP_DEPRECATED_ABI_DISABLE_PAIR_TRIVIAL_COPY_CTOR)
36        static_assert(std::is_trivially_copy_constructible<P>::value, "");
37#endif
38    }
39#if TEST_STD_VER >= 11
40    {
41        static_assert(std::is_move_constructible<P>::value, "");
42#if !defined(_LIBCPP_DEPRECATED_ABI_DISABLE_PAIR_TRIVIAL_COPY_CTOR)
43        static_assert(std::is_trivially_move_constructible<P>::value, "");
44#endif
45    }
46    {
47        using P1 = std::pair<Dummy, int>;
48        static_assert(!std::is_copy_constructible<P1>::value, "");
49        static_assert(!std::is_trivially_copy_constructible<P1>::value, "");
50        static_assert(std::is_move_constructible<P1>::value, "");
51#if !defined(_LIBCPP_DEPRECATED_ABI_DISABLE_PAIR_TRIVIAL_COPY_CTOR)
52        static_assert(std::is_trivially_move_constructible<P1>::value, "");
53#endif
54    }
55#endif
56}
57