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