Loading...
--- /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>();
+}