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 25 struct Dummy { 26 Dummy(Dummy const&) = delete; 27 Dummy(Dummy &&) = default; 28 }; 29 30 int 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
