forked from mirror/libcxx
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
97 lines
2.6 KiB
C++
97 lines
2.6 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// 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() {
|
|
test_static_members();
|
|
test_signatures();
|
|
test_conversion();
|
|
static_assert(test_constexpr(), "constexpr test failed");
|
|
}
|