//===----------------------------------------------------------------------===//
//
// 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++03, c++11, c++14
// TODO: Change to XFAIL once https://github.com/llvm/llvm-project/issues/40340 is fixed
// UNSUPPORTED: availability-pmr-missing
// test_memory_resource requires RTTI for dynamic_cast
// UNSUPPORTED: no-rtti
// <memory_resource>
// template <class T> class polymorphic_allocator;
// template <class T, class U>
// bool operator==(
// polymorphic_allocator<T> const &
// , polymorphic_allocator<U> const &) noexcept
#include <memory_resource>
#include <cassert>
#include <type_traits>
#include "test_std_memory_resource.h"
int main(int, char**) {
typedef std::pmr::polymorphic_allocator<void> A1;
typedef std::pmr::polymorphic_allocator<int> A2;
// check return types
{
A1 const a1;
A2 const a2;
static_assert(std::is_same_v<decltype(a1 == a2), bool>);
static_assert(noexcept(a1 == a2));
}
// equal same type (different resource)
{
TestResource d1(1);
TestResource d2(1);
A1 const a1(&d1);
A1 const a2(&d2);
assert(a1 == a2);
assert(d1.checkIsEqualCalledEq(1));
assert(d2.checkIsEqualCalledEq(0));
d1.reset();
assert(a2 == a1);
assert(d1.checkIsEqualCalledEq(0));
assert(d2.checkIsEqualCalledEq(1));
}
// equal same type (same resource)
{
TestResource d1;
A1 const a1(&d1);
A1 const a2(&d1);
assert(a1 == a2);
assert(d1.checkIsEqualCalledEq(0));
assert(a2 == a1);
assert(d1.checkIsEqualCalledEq(0));
}
// equal different type (different resource)
{
TestResource d1(42);
TestResource d2(42);
A1 const a1(&d1);
A2 const a2(&d2);
assert(a1 == a2);
assert(d1.checkIsEqualCalledEq(1));
assert(d2.checkIsEqualCalledEq(0));
assert(a2 == a1);
assert(d1.checkIsEqualCalledEq(1));
assert(d2.checkIsEqualCalledEq(1));
}
// equal different type (same resource)
{
TestResource d1(42);
A1 const a1(&d1);
A2 const a2(&d1);
assert(a1 == a2);
assert(d1.checkIsEqualCalledEq(0));
assert(a2 == a1);
assert(d1.checkIsEqualCalledEq(0));
}
// not equal same type
{
TestResource d1(1);
TestResource d2(2);
A1 const a1(&d1);
A1 const a2(&d2);
assert(!(a1 == a2));
assert(d1.checkIsEqualCalledEq(1));
assert(d2.checkIsEqualCalledEq(0));
d1.reset();
assert(!(a2 == a1));
assert(d1.checkIsEqualCalledEq(0));
assert(d2.checkIsEqualCalledEq(1));
}
// not equal different types
{
TestResource d1;
TestResource1 d2;
A1 const a1(&d1);
A2 const a2(&d2);
assert(!(a1 == a2));
assert(d1.checkIsEqualCalledEq(1));
assert(d2.checkIsEqualCalledEq(0));
d1.reset();
assert(!(a2 == a1));
assert(d1.checkIsEqualCalledEq(0));
assert(d2.checkIsEqualCalledEq(1));
}
return 0;
}