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
12
13// [[nodiscard]] bool operator==(const stop_source& lhs, const stop_source& rhs) noexcept;
14// Returns: true if lhs and rhs have ownership of the same stop state or if both lhs and rhs do not have ownership of a stop state; otherwise false.
15
16#include <cassert>
17#include <concepts>
18#include <stop_token>
19#include <type_traits>
20
21#include "test_macros.h"
22
23template <class T>
24concept IsNoThrowEqualityComparable = requires(const T& t1, const T& t2) {
25 { t1 == t2 } noexcept;
26};
27
28static_assert(IsNoThrowEqualityComparable<std::stop_source>);
29
30int main(int, char**) {
31 // both no state
32 {
33 const std::stop_source ss1(std::nostopstate);
34 const std::stop_source ss2(std::nostopstate);
35 assert(ss1 == ss2);
36 assert(!(ss1 != ss2));
37 }
38
39 // only one has no state
40 {
41 const std::stop_source ss1(std::nostopstate);
42 const std::stop_source ss2;
43 assert(!(ss1 == ss2));
44 assert(ss1 != ss2);
45 }
46
47 // both has states. same state
48 {
49 const std::stop_source ss1;
50 const std::stop_source ss2(ss1);
51 assert(ss1 == ss2);
52 assert(!(ss1 != ss2));
53 }
54
55 // both has states. different states
56 {
57 const std::stop_source ss1;
58 const std::stop_source ss2;
59 assert(!(ss1 == ss2));
60 assert(ss1 != ss2);
61 }
62
63 return 0;
64}
65

source code of libcxx/test/std/thread/thread.stoptoken/stopsource/equals.pass.cpp