xref: /xnu-12377.61.12/tests/bounded_ptr_src/ctor.nullptr.cpp (revision 4d495c6e23c53686cf65f45067f79024cf5dcee8)
1*4d495c6eSApple OSS Distributions //
2*4d495c6eSApple OSS Distributions // Tests for
3*4d495c6eSApple OSS Distributions //  bounded_ptr(std::nullptr_t);
4*4d495c6eSApple OSS Distributions //
5*4d495c6eSApple OSS Distributions 
6*4d495c6eSApple OSS Distributions #include <libkern/c++/bounded_ptr.h>
7*4d495c6eSApple OSS Distributions #include <darwintest.h>
8*4d495c6eSApple OSS Distributions #include <darwintest_utils.h>
9*4d495c6eSApple OSS Distributions #include "test_utils.h"
10*4d495c6eSApple OSS Distributions 
11*4d495c6eSApple OSS Distributions #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__)
12*4d495c6eSApple OSS Distributions 
13*4d495c6eSApple OSS Distributions struct T { };
14*4d495c6eSApple OSS Distributions 
15*4d495c6eSApple OSS Distributions template <typename T>
16*4d495c6eSApple OSS Distributions static void
tests()17*4d495c6eSApple OSS Distributions tests()
18*4d495c6eSApple OSS Distributions {
19*4d495c6eSApple OSS Distributions 	// Test with nullptr
20*4d495c6eSApple OSS Distributions 	{
21*4d495c6eSApple OSS Distributions 		test_bounded_ptr<T> p = nullptr;
22*4d495c6eSApple OSS Distributions 		_assert(p == nullptr);
23*4d495c6eSApple OSS Distributions 	}
24*4d495c6eSApple OSS Distributions 	{
25*4d495c6eSApple OSS Distributions 		test_bounded_ptr<T> p{nullptr};
26*4d495c6eSApple OSS Distributions 		_assert(p == nullptr);
27*4d495c6eSApple OSS Distributions 	}
28*4d495c6eSApple OSS Distributions 	{
29*4d495c6eSApple OSS Distributions 		test_bounded_ptr<T> p(nullptr);
30*4d495c6eSApple OSS Distributions 		_assert(p == nullptr);
31*4d495c6eSApple OSS Distributions 	}
32*4d495c6eSApple OSS Distributions 	{
33*4d495c6eSApple OSS Distributions 		test_bounded_ptr<T> p = static_cast<test_bounded_ptr<T> >(nullptr);
34*4d495c6eSApple OSS Distributions 		_assert(p == nullptr);
35*4d495c6eSApple OSS Distributions 	}
36*4d495c6eSApple OSS Distributions 	{
37*4d495c6eSApple OSS Distributions 		auto f = [](test_bounded_ptr<T> p) {
38*4d495c6eSApple OSS Distributions 			    _assert(p == nullptr);
39*4d495c6eSApple OSS Distributions 		    };
40*4d495c6eSApple OSS Distributions 		f(nullptr);
41*4d495c6eSApple OSS Distributions 	}
42*4d495c6eSApple OSS Distributions 
43*4d495c6eSApple OSS Distributions 	// Test with NULL
44*4d495c6eSApple OSS Distributions 	{
45*4d495c6eSApple OSS Distributions 		test_bounded_ptr<T> p = NULL;
46*4d495c6eSApple OSS Distributions 		_assert(p == nullptr);
47*4d495c6eSApple OSS Distributions 	}
48*4d495c6eSApple OSS Distributions 	{
49*4d495c6eSApple OSS Distributions 		test_bounded_ptr<T> p{NULL};
50*4d495c6eSApple OSS Distributions 		_assert(p == nullptr);
51*4d495c6eSApple OSS Distributions 	}
52*4d495c6eSApple OSS Distributions 	{
53*4d495c6eSApple OSS Distributions 		test_bounded_ptr<T> p(NULL);
54*4d495c6eSApple OSS Distributions 		_assert(p == nullptr);
55*4d495c6eSApple OSS Distributions 	}
56*4d495c6eSApple OSS Distributions 	{
57*4d495c6eSApple OSS Distributions 		test_bounded_ptr<T> p = static_cast<test_bounded_ptr<T> >(NULL);
58*4d495c6eSApple OSS Distributions 		_assert(p == nullptr);
59*4d495c6eSApple OSS Distributions 	}
60*4d495c6eSApple OSS Distributions 	{
61*4d495c6eSApple OSS Distributions 		auto f = [](test_bounded_ptr<T> p) {
62*4d495c6eSApple OSS Distributions 			    _assert(p == nullptr);
63*4d495c6eSApple OSS Distributions 		    };
64*4d495c6eSApple OSS Distributions 		f(NULL);
65*4d495c6eSApple OSS Distributions 	}
66*4d495c6eSApple OSS Distributions 
67*4d495c6eSApple OSS Distributions 	// Test with 0
68*4d495c6eSApple OSS Distributions 	{
69*4d495c6eSApple OSS Distributions 		test_bounded_ptr<T> p = 0;
70*4d495c6eSApple OSS Distributions 		_assert(p == nullptr);
71*4d495c6eSApple OSS Distributions 	}
72*4d495c6eSApple OSS Distributions 	{
73*4d495c6eSApple OSS Distributions 		test_bounded_ptr<T> p{0};
74*4d495c6eSApple OSS Distributions 		_assert(p == nullptr);
75*4d495c6eSApple OSS Distributions 	}
76*4d495c6eSApple OSS Distributions 	{
77*4d495c6eSApple OSS Distributions 		test_bounded_ptr<T> p(0);
78*4d495c6eSApple OSS Distributions 		_assert(p == nullptr);
79*4d495c6eSApple OSS Distributions 	}
80*4d495c6eSApple OSS Distributions 	{
81*4d495c6eSApple OSS Distributions 		test_bounded_ptr<T> p = static_cast<test_bounded_ptr<T> >(0);
82*4d495c6eSApple OSS Distributions 		_assert(p == nullptr);
83*4d495c6eSApple OSS Distributions 	}
84*4d495c6eSApple OSS Distributions 	{
85*4d495c6eSApple OSS Distributions 		auto f = [](test_bounded_ptr<T> p) {
86*4d495c6eSApple OSS Distributions 			    _assert(p == nullptr);
87*4d495c6eSApple OSS Distributions 		    };
88*4d495c6eSApple OSS Distributions 		f(0);
89*4d495c6eSApple OSS Distributions 	}
90*4d495c6eSApple OSS Distributions }
91*4d495c6eSApple OSS Distributions 
92*4d495c6eSApple OSS Distributions T_DECL(ctor_nullptr, "bounded_ptr.ctor.nullptr", T_META_TAG_VM_PREFERRED) {
93*4d495c6eSApple OSS Distributions 	tests<T>();
94*4d495c6eSApple OSS Distributions 	tests<T const>();
95*4d495c6eSApple OSS Distributions 	tests<T volatile>();
96*4d495c6eSApple OSS Distributions 	tests<T const volatile>();
97*4d495c6eSApple OSS Distributions }
98