[Flang] Add semantics checks for CrayPointer usage in DSA list (#123171)
[llvm-project.git] / libcxx / test / std / thread / thread.stoptoken / stoptoken / swap.free.pass.cpp
blob90e95b11277ccc7ddef5e88a9f5b2c547069fa89
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: no-threads
10 // UNSUPPORTED: c++03, c++11, c++14, c++17
11 // XFAIL: availability-synchronization_library-missing
13 // friend void swap(stop_token& x, stop_token& y) noexcept;
15 #include <cassert>
16 #include <concepts>
17 #include <stop_token>
18 #include <type_traits>
20 #include "test_macros.h"
22 template <class T>
23 concept IsNoThrowFreeSwappable = requires(T& t) {
24 { swap(t, t) } noexcept;
27 static_assert(IsNoThrowFreeSwappable<std::stop_token>);
29 int main(int, char**) {
31 std::stop_token st1;
33 std::stop_source source;
34 auto st2 = source.get_token();
36 assert(st1 != st2);
38 source.request_stop();
40 assert(!st1.stop_requested());
41 assert(st2.stop_requested());
43 swap(st1, st2);
45 assert(st1 != st2);
46 assert(st1.stop_requested());
47 assert(!st2.stop_requested());
50 return 0;