--- /dev/null
+++ xnu/xnu-12377.1.9/tests/bounded_ptr_src/ctor.default.cpp
@@ -0,0 +1,34 @@
+//
+// Tests for
+//  explicit bounded_ptr();
+//
+
+#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 { };
+
+template <typename T>
+static void
+tests()
+{
+	{
+		test_bounded_ptr<T> p;
+		_assert(p == nullptr);
+	}
+	{
+		test_bounded_ptr<T> p{};
+		_assert(p == nullptr);
+	}
+}
+
+T_DECL(ctor_default, "bounded_ptr.ctor.default", T_META_TAG_VM_PREFERRED) {
+	tests<T>();
+	tests<T const>();
+	tests<T volatile>();
+	tests<T const volatile>();
+}