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