Loading...
tests/bounded_ptr_src/compare.equal.nullptr.cpp /dev/null xnu-12377.121.6
--- /dev/null
+++ xnu/xnu-12377.121.6/tests/bounded_ptr_src/compare.equal.nullptr.cpp
@@ -0,0 +1,68 @@
+//
+// Tests for
+//  template <typename T, typename Policy>
+//  bool operator==(std::nullptr_t, bounded_ptr<T, Policy> const& p);
+//
+//  template <typename T, typename Policy>
+//  bool operator!=(std::nullptr_t, bounded_ptr<T, Policy> const& p);
+//
+//  template <typename T, typename Policy>
+//  bool operator==(bounded_ptr<T, Policy> const& p, std::nullptr_t);
+//
+//  template <typename T, typename Policy>
+//  bool operator!=(bounded_ptr<T, Policy> const& p, std::nullptr_t);
+//
+
+#include <libkern/c++/bounded_ptr.h>
+#include <darwintest.h>
+#include <darwintest_utils.h>
+#include "test_utils.h"
+
+#define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__)
+
+struct T { };
+
+struct non_default_policy {
+	static constexpr void
+	trap(char const*)
+	{
+	}
+};
+
+template <typename T, typename QualT>
+static void
+tests()
+{
+	T t;
+
+	{
+		test_bounded_ptr<QualT> const ptr(&t, &t, &t + 1);
+		_assert(!(ptr == nullptr));
+		_assert(!(nullptr == ptr));
+		_assert(ptr != nullptr);
+		_assert(nullptr != ptr);
+	}
+	{
+		test_bounded_ptr<QualT> const ptr = nullptr;
+		_assert(ptr == nullptr);
+		_assert(nullptr == ptr);
+		_assert(!(ptr != nullptr));
+		_assert(!(nullptr != ptr));
+	}
+
+	// Test with a custom policy
+	{
+		libkern::bounded_ptr<QualT, non_default_policy> const ptr = nullptr;
+		_assert(ptr == nullptr);
+		_assert(nullptr == ptr);
+		_assert(!(ptr != nullptr));
+		_assert(!(nullptr != ptr));
+	}
+}
+
+T_DECL(compare_equal_nullptr, "bounded_ptr.compare.equal.nullptr", T_META_TAG_VM_PREFERRED) {
+	tests<T, T>();
+	tests<T, T const>();
+	tests<T, T volatile>();
+	tests<T, T const volatile>();
+}