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