Skip to content
Snippets Groups Projects
Commit b0b36c00 authored by Louis Dionne's avatar Louis Dionne Committed by Tobias Hieta
Browse files

[libc++] Fix name of is_always_lock_free test which was never being run (#106077)

(cherry picked from commit b45661953e6974782b0ccada6f0784db04bc693f)
parent c3c1b047
Branches
No related tags found
No related merge requests found
......@@ -5,8 +5,9 @@
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// UNSUPPORTED: c++03, c++11, c++14
// XFAIL: LIBCXX-PICOLIBC-FIXME
// <atomic>
//
......@@ -15,6 +16,10 @@
//
// static constexpr bool is_always_lock_free;
// Ignore diagnostic about vector types changing the ABI on some targets, since
// that is irrelevant for this test.
// ADDITIONAL_COMPILE_FLAGS: -Wno-psabi
#include <atomic>
#include <cassert>
#include <cstddef>
......@@ -26,7 +31,8 @@ template <typename T>
void check_always_lock_free(std::atomic<T> const& a) {
using InfoT = LockFreeStatusInfo<T>;
constexpr std::same_as<const bool> decltype(auto) is_always_lock_free = std::atomic<T>::is_always_lock_free;
constexpr auto is_always_lock_free = std::atomic<T>::is_always_lock_free;
ASSERT_SAME_TYPE(decltype(is_always_lock_free), bool const);
// If we know the status of T for sure, validate the exact result of the function.
if constexpr (InfoT::status_known) {
......@@ -44,7 +50,8 @@ void check_always_lock_free(std::atomic<T> const& a) {
// In all cases, also sanity-check it based on the implication always-lock-free => lock-free.
if (is_always_lock_free) {
std::same_as<bool> decltype(auto) is_lock_free = a.is_lock_free();
auto is_lock_free = a.is_lock_free();
ASSERT_SAME_TYPE(decltype(is_always_lock_free), bool const);
assert(is_lock_free);
}
ASSERT_NOEXCEPT(a.is_lock_free());
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment