xref: /xnu-12377.1.9/tests/bounded_ptr_src/ctor.begin_end.cpp (revision f6217f891ac0bb64f3d375211650a4c1ff8ca1ea)
1*f6217f89SApple OSS Distributions //
2*f6217f89SApple OSS Distributions // Tests for
3*f6217f89SApple OSS Distributions //  explicit bounded_ptr(T* pointer, T const* begin, T const* end);
4*f6217f89SApple OSS Distributions //
5*f6217f89SApple OSS Distributions 
6*f6217f89SApple OSS Distributions #include <libkern/c++/bounded_ptr.h>
7*f6217f89SApple OSS Distributions #include <array>
8*f6217f89SApple OSS Distributions #include <darwintest.h>
9*f6217f89SApple OSS Distributions #include <darwintest_utils.h>
10*f6217f89SApple OSS Distributions #include "test_utils.h"
11*f6217f89SApple OSS Distributions 
12*f6217f89SApple OSS Distributions #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__)
13*f6217f89SApple OSS Distributions 
14*f6217f89SApple OSS Distributions struct T {
15*f6217f89SApple OSS Distributions 	int i;
16*f6217f89SApple OSS Distributions 	friend constexpr bool
operator ==(T const volatile & a,T const & b)17*f6217f89SApple OSS Distributions 	operator==(T const volatile& a, T const& b)
18*f6217f89SApple OSS Distributions 	{
19*f6217f89SApple OSS Distributions 		return a.i == b.i;
20*f6217f89SApple OSS Distributions 	}
21*f6217f89SApple OSS Distributions };
22*f6217f89SApple OSS Distributions 
23*f6217f89SApple OSS Distributions template <typename T, typename QualT>
24*f6217f89SApple OSS Distributions static void
tests()25*f6217f89SApple OSS Distributions tests()
26*f6217f89SApple OSS Distributions {
27*f6217f89SApple OSS Distributions 	std::array<T, 5> array = {T{0}, T{1}, T{2}, T{3}, T{4}};
28*f6217f89SApple OSS Distributions 	{
29*f6217f89SApple OSS Distributions 		test_bounded_ptr<QualT> p(array.begin() + 0, array.begin(), array.end());
30*f6217f89SApple OSS Distributions 		_assert(*p == T{0});
31*f6217f89SApple OSS Distributions 	}
32*f6217f89SApple OSS Distributions 	{
33*f6217f89SApple OSS Distributions 		test_bounded_ptr<QualT> p(array.begin() + 1, array.begin(), array.end());
34*f6217f89SApple OSS Distributions 		_assert(*p == T{1});
35*f6217f89SApple OSS Distributions 	}
36*f6217f89SApple OSS Distributions 	{
37*f6217f89SApple OSS Distributions 		test_bounded_ptr<QualT> p(array.begin() + 2, array.begin(), array.end());
38*f6217f89SApple OSS Distributions 		_assert(*p == T{2});
39*f6217f89SApple OSS Distributions 	}
40*f6217f89SApple OSS Distributions 	{
41*f6217f89SApple OSS Distributions 		test_bounded_ptr<QualT> p(array.begin() + 3, array.begin(), array.end());
42*f6217f89SApple OSS Distributions 		_assert(*p == T{3});
43*f6217f89SApple OSS Distributions 	}
44*f6217f89SApple OSS Distributions 	{
45*f6217f89SApple OSS Distributions 		test_bounded_ptr<QualT> p(array.begin() + 4, array.begin(), array.end());
46*f6217f89SApple OSS Distributions 		_assert(*p == T{4});
47*f6217f89SApple OSS Distributions 	}
48*f6217f89SApple OSS Distributions 
49*f6217f89SApple OSS Distributions 	// It must be valid to construct out-of-bounds pointers, but we obviously
50*f6217f89SApple OSS Distributions 	// can't dereference them.
51*f6217f89SApple OSS Distributions 	{
52*f6217f89SApple OSS Distributions 		// T{0}     T{1}     T{2}     T{3}     T{4}     <one-past-last>
53*f6217f89SApple OSS Distributions 		//            ^                 ^                     ^
54*f6217f89SApple OSS Distributions 		//            |                 |                     |
55*f6217f89SApple OSS Distributions 		//           ptr              begin                  end
56*f6217f89SApple OSS Distributions 		test_bounded_ptr<QualT> p(array.begin() + 1, array.begin() + 3, array.end());
57*f6217f89SApple OSS Distributions 		_assert(p.unsafe_discard_bounds() == array.begin() + 1);
58*f6217f89SApple OSS Distributions 	}
59*f6217f89SApple OSS Distributions 	{
60*f6217f89SApple OSS Distributions 		// T{0}     T{1}     T{2}     T{3}     T{4}     <one-past-last>
61*f6217f89SApple OSS Distributions 		//   ^                          ^        ^
62*f6217f89SApple OSS Distributions 		//   |                          |        |
63*f6217f89SApple OSS Distributions 		// begin                       end      ptr
64*f6217f89SApple OSS Distributions 		test_bounded_ptr<QualT> p(array.begin() + 4, array.begin(), array.begin() + 3);
65*f6217f89SApple OSS Distributions 		_assert(p.unsafe_discard_bounds() == array.begin() + 4);
66*f6217f89SApple OSS Distributions 	}
67*f6217f89SApple OSS Distributions 	{
68*f6217f89SApple OSS Distributions 		// T{0}     T{1}     T{2}     T{3}     T{4}     <one-past-last>
69*f6217f89SApple OSS Distributions 		//   ^                                                ^
70*f6217f89SApple OSS Distributions 		//   |                                                |
71*f6217f89SApple OSS Distributions 		// begin                                             end,ptr
72*f6217f89SApple OSS Distributions 		test_bounded_ptr<QualT> p(array.end(), array.begin(), array.end());
73*f6217f89SApple OSS Distributions 		_assert(p.unsafe_discard_bounds() == array.end());
74*f6217f89SApple OSS Distributions 	}
75*f6217f89SApple OSS Distributions 
76*f6217f89SApple OSS Distributions 	// Test creating a bounded_ptr from a null pointer.
77*f6217f89SApple OSS Distributions 	{
78*f6217f89SApple OSS Distributions 		test_bounded_ptr<QualT> p(nullptr, nullptr, nullptr);
79*f6217f89SApple OSS Distributions 		_assert(p.unsafe_discard_bounds() == nullptr);
80*f6217f89SApple OSS Distributions 	}
81*f6217f89SApple OSS Distributions }
82*f6217f89SApple OSS Distributions 
83*f6217f89SApple OSS Distributions struct Base { };
84*f6217f89SApple OSS Distributions struct Derived : Base { };
85*f6217f89SApple OSS Distributions 
86*f6217f89SApple OSS Distributions T_DECL(ctor_begin_end, "bounded_ptr.ctor.begin_end", T_META_TAG_VM_PREFERRED) {
87*f6217f89SApple OSS Distributions 	tests<T, T>();
88*f6217f89SApple OSS Distributions 	tests<T, T const>();
89*f6217f89SApple OSS Distributions 	tests<T, T volatile>();
90*f6217f89SApple OSS Distributions 	tests<T, T const volatile>();
91*f6217f89SApple OSS Distributions 
92*f6217f89SApple OSS Distributions 	// Make sure we can construct a `bounded_ptr<Base>` from `Derived*` pointers
93*f6217f89SApple OSS Distributions 	{
94*f6217f89SApple OSS Distributions 		std::array<Derived, 5> array = {};
95*f6217f89SApple OSS Distributions 		test_bounded_ptr<Base> p(static_cast<Derived*>(array.begin()),
96*f6217f89SApple OSS Distributions 		    static_cast<Derived*>(array.begin()),
97*f6217f89SApple OSS Distributions 		    static_cast<Derived*>(array.end()));
98*f6217f89SApple OSS Distributions 	}
99*f6217f89SApple OSS Distributions }
100