Mark LWG issue 2450 as complete.

git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@271473 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Eric Fiselier
2016-06-02 03:12:44 +00:00
parent d25628018b
commit 400d356341
8 changed files with 81 additions and 7 deletions

View File

@@ -15,6 +15,8 @@
#include <type_traits>
#include <cassert>
#include "test_macros.h"
int main()
{
typedef std::equal_to<int> F;
@@ -24,7 +26,7 @@ int main()
static_assert((std::is_same<bool, F::result_type>::value), "" );
assert(f(36, 36));
assert(!f(36, 6));
#if _LIBCPP_STD_VER > 11
#if TEST_STD_VER > 11
typedef std::equal_to<> F2;
const F2 f2 = F2();
assert(f2(36, 36));

View File

@@ -15,6 +15,9 @@
#include <type_traits>
#include <cassert>
#include "test_macros.h"
#include "pointer_comparison_test_helper.hpp"
int main()
{
typedef std::greater<int> F;
@@ -25,7 +28,12 @@ int main()
assert(!f(36, 36));
assert(f(36, 6));
assert(!f(6, 36));
#if _LIBCPP_STD_VER > 11
{
// test total ordering of int* for greater<int*> and
// greater<void>.
do_pointer_comparison_test<int, std::greater>();
}
#if TEST_STD_VER > 11
typedef std::greater<> F2;
const F2 f2 = F2();
assert(!f2(36, 36));

View File

@@ -15,6 +15,9 @@
#include <type_traits>
#include <cassert>
#include "test_macros.h"
#include "pointer_comparison_test_helper.hpp"
int main()
{
typedef std::greater_equal<int> F;
@@ -25,7 +28,12 @@ int main()
assert(f(36, 36));
assert(f(36, 6));
assert(!f(6, 36));
#if _LIBCPP_STD_VER > 11
{
// test total ordering of int* for greater_equal<int*> and
// greater_equal<void>.
do_pointer_comparison_test<int, std::greater_equal>();
}
#if TEST_STD_VER > 11
typedef std::greater_equal<> F2;
const F2 f2 = F2();
assert(f2(36, 36));

View File

@@ -15,6 +15,9 @@
#include <type_traits>
#include <cassert>
#include "test_macros.h"
#include "pointer_comparison_test_helper.hpp"
int main()
{
typedef std::less<int> F;
@@ -25,7 +28,11 @@ int main()
assert(!f(36, 36));
assert(!f(36, 6));
assert(f(6, 36));
#if _LIBCPP_STD_VER > 11
{
// test total ordering of int* for less<int*> and less<void>.
do_pointer_comparison_test<int, std::less>();
}
#if TEST_STD_VER > 11
typedef std::less<> F2;
const F2 f2 = F2();
assert(!f2(36, 36));

View File

@@ -15,6 +15,9 @@
#include <type_traits>
#include <cassert>
#include "test_macros.h"
#include "pointer_comparison_test_helper.hpp"
int main()
{
typedef std::less_equal<int> F;
@@ -25,7 +28,12 @@ int main()
assert(f(36, 36));
assert(!f(36, 6));
assert(f(6, 36));
#if _LIBCPP_STD_VER > 11
{
// test total ordering of int* for less_equal<int*> and
// less_equal<void>.
do_pointer_comparison_test<int, std::less_equal>();
}
#if TEST_STD_VER > 11
typedef std::less_equal<> F2;
const F2 f2 = F2();
assert( f2(36, 36));

View File

@@ -15,6 +15,8 @@
#include <type_traits>
#include <cassert>
#include "test_macros.h"
int main()
{
typedef std::not_equal_to<int> F;
@@ -24,7 +26,7 @@ int main()
static_assert((std::is_same<bool, F::result_type>::value), "" );
assert(!f(36, 36));
assert(f(36, 6));
#if _LIBCPP_STD_VER > 11
#if TEST_STD_VER > 11
typedef std::not_equal_to<> F2;
const F2 f2 = F2();
assert(!f2(36, 36));

View File

@@ -0,0 +1,39 @@
#ifndef POINTER_COMPARISON_TEST_HELPER_HPP
#define POINTER_COMPARISON_TEST_HELPER_HPP
#include <vector>
#include <memory>
#include <cstdint>
#include <cassert>
#include "test_macros.h"
template <class T, template<class> class CompareTemplate>
void do_pointer_comparison_test() {
typedef CompareTemplate<T*> Compare;
typedef CompareTemplate<std::uintptr_t> UIntCompare;
#if TEST_STD_VER > 11
typedef CompareTemplate<void> VoidCompare;
#else
typedef Compare VoidCompare;
#endif
std::vector<std::shared_ptr<T> > pointers;
const std::size_t test_size = 100;
for (int i=0; i < test_size; ++i)
pointers.push_back(std::shared_ptr<T>(new T()));
Compare comp;
UIntCompare ucomp;
VoidCompare vcomp;
for (int i=0; i < test_size; ++i) {
for (int j=0; j < test_size; ++j) {
T* lhs = pointers[i].get();
T* rhs = pointers[j].get();
std::uintptr_t lhs_uint = reinterpret_cast<std::uintptr_t>(lhs);
std::uintptr_t rhs_uint = reinterpret_cast<std::uintptr_t>(rhs);
assert(comp(lhs, rhs) == ucomp(lhs_uint, rhs_uint));
assert(vcomp(lhs, rhs) == ucomp(lhs_uint, rhs_uint));
}
}
}
#endif // POINTER_COMPARISON_TEST_HELPER_HPP