1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // UNSUPPORTED: c++03 && !stdlib=libc++
10
11 // <utility>
12
13 // template <class T>
14 // typename conditional
15 // <
16 // !is_nothrow_move_constructible<T>::value && is_copy_constructible<T>::value,
17 // const T&,
18 // T&&
19 // >::type
20 // move_if_noexcept(T& x);
21
22 #include <utility>
23
24 #include "test_macros.h"
25
26 class A
27 {
28 A(const A&);
29 A& operator=(const A&);
30 public:
31
A()32 A() {}
A(A &&)33 A(A&&) {}
34 };
35
36 struct legacy
37 {
legacylegacy38 legacy() {}
39 legacy(const legacy&);
40 };
41
main(int,char **)42 int main(int, char**)
43 {
44 int i = 0;
45 const int ci = 0;
46
47 legacy l;
48 A a;
49 const A ca;
50
51 static_assert((std::is_same<decltype(std::move_if_noexcept(i)), int&&>::value), "");
52 static_assert((std::is_same<decltype(std::move_if_noexcept(ci)), const int&&>::value), "");
53 static_assert((std::is_same<decltype(std::move_if_noexcept(a)), A&&>::value), "");
54 static_assert((std::is_same<decltype(std::move_if_noexcept(ca)), const A&&>::value), "");
55 static_assert((std::is_same<decltype(std::move_if_noexcept(l)), const legacy&>::value), "");
56
57 #if TEST_STD_VER > 11
58 constexpr int i1 = 23;
59 constexpr int i2 = std::move_if_noexcept(i1);
60 static_assert(i2 == 23, "" );
61 #endif
62
63
64 return 0;
65 }
66