cmp.strongeq.pass.cpp
2.64 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03, c++11, c++14, c++17
// <compare>
// class strong_equality
#include <compare>
#include <type_traits>
#include <cassert>
#include "test_macros.h"
const volatile void* volatile sink;
void test_static_members() {
DoNotOptimize(&std::strong_equality::equal);
DoNotOptimize(&std::strong_equality::nonequal);
DoNotOptimize(&std::strong_equality::equivalent);
DoNotOptimize(&std::strong_equality::nonequivalent);
}
void test_signatures() {
auto& Eq = std::strong_equality::equivalent;
ASSERT_NOEXCEPT(Eq == 0);
ASSERT_NOEXCEPT(0 == Eq);
ASSERT_NOEXCEPT(Eq != 0);
ASSERT_NOEXCEPT(0 != Eq);
#ifndef TEST_HAS_NO_SPACESHIP_OPERATOR
ASSERT_NOEXCEPT(0 <=> Eq);
ASSERT_NOEXCEPT(Eq <=> 0);
ASSERT_SAME_TYPE(decltype(Eq <=> 0), std::strong_equality);
ASSERT_SAME_TYPE(decltype(0 <=> Eq), std::strong_equality);
#endif
}
void test_conversion() {
constexpr std::weak_equality res = std::strong_equality::equivalent;
static_assert(res == 0, "");
static_assert(std::is_convertible<const std::strong_equality&,
std::weak_equality>::value, "");
static_assert(res == 0, "expected equal");
constexpr std::weak_equality neq_res = std::strong_equality::nonequivalent;
static_assert(neq_res != 0, "expected not equal");
}
constexpr bool test_constexpr() {
auto& Eq = std::strong_equality::equal;
auto& NEq = std::strong_equality::nonequal;
auto& Equiv = std::strong_equality::equivalent;
auto& NEquiv = std::strong_equality::nonequivalent;
assert((Eq == 0) == true);
assert((0 == Eq) == true);
assert((Equiv == 0) == true);
assert((0 == Equiv) == true);
assert((NEq == 0) == false);
assert((0 == NEq) == false);
assert((NEquiv == 0) == false);
assert((0 == NEquiv) == false);
assert((Eq != 0) == false);
assert((0 != Eq) == false);
assert((Equiv != 0) == false);
assert((0 != Equiv) == false);
assert((NEq != 0) == true);
assert((0 != NEq) == true);
assert((NEquiv != 0) == true);
assert((0 != NEquiv) == true);
#ifndef TEST_HAS_NO_SPACESHIP_OPERATOR
std::strong_equality res = (Eq <=> 0);
((void)res);
res = (0 <=> Eq);
((void)res);
#endif
return true;
}
int main(int, char**) {
test_static_members();
test_signatures();
test_conversion();
static_assert(test_constexpr(), "constexpr test failed");
return 0;
}