1 //
2 // Tests for
3 //  bounded_ptr& operator=(std::nullptr_t);
4 //
5 
6 #include <cstddef>
7 #include <libkern/c++/bounded_ptr.h>
8 #include <darwintest.h>
9 #include <darwintest_utils.h>
10 #include "test_utils.h"
11 
12 #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__)
13 
14 struct T { };
15 
16 template <typename T, typename TQual>
17 static void
18 tests()
19 {
20 	T obj{};
21 
22 	// Assign from nullptr
23 	{
24 		test_bounded_ptr<TQual> p(&obj, &obj, &obj + 1);
25 		_assert(p != nullptr);
26 		test_bounded_ptr<TQual>& ref = (p = nullptr);
27 		_assert(&ref == &p);
28 		_assert(p == nullptr);
29 	}
30 
31 	// Assign from NULL
32 	{
33 		test_bounded_ptr<TQual> p(&obj, &obj, &obj + 1);
34 		_assert(p != nullptr);
35 		test_bounded_ptr<TQual>& ref = (p = NULL);
36 		_assert(&ref == &p);
37 		_assert(p == nullptr);
38 	}
39 
40 	// Assign from 0
41 	{
42 		test_bounded_ptr<TQual> p(&obj, &obj, &obj + 1);
43 		_assert(p != nullptr);
44 		test_bounded_ptr<TQual>& ref = (p = 0);
45 		_assert(&ref == &p);
46 		_assert(p == nullptr);
47 	}
48 }
49 
50 T_DECL(assign_nullptr, "bounded_ptr.assign.nullptr") {
51 	tests<T, T>();
52 	tests<T, T const>();
53 	tests<T, T volatile>();
54 	tests<T, T const volatile>();
55 }
56