1 //
2 // Tests for
3 // template <typename T, typename P1, typename U, typename P2>
4 // bool operator==(bounded_ptr<T, P1> const& a, bounded_ptr<U, P2> const& b);
5 //
6 // template <typename T, typename P1, typename U, typename P2>
7 // bool operator!=(bounded_ptr<T, P1> const& a, bounded_ptr<U, P2> const& b);
8 //
9
10 #include <libkern/c++/bounded_ptr.h>
11 #include <array>
12 #include <darwintest.h>
13 #include <darwintest_utils.h>
14 #include "test_utils.h"
15
16 #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__)
17
18 struct dummy_policy1 {
19 static constexpr void
trapdummy_policy120 trap(char const*)
21 {
22 }
23 };
24 struct dummy_policy2 {
25 static constexpr void
trapdummy_policy226 trap(char const*)
27 {
28 }
29 };
30
31 template <typename T, typename U>
32 static void
check_eq(T t,U u)33 check_eq(T t, U u)
34 {
35 _assert(t == u);
36 _assert(u == t);
37 _assert(!(t != u));
38 _assert(!(u != t));
39 }
40
41 template <typename T, typename U>
42 static void
check_ne(T t,U u)43 check_ne(T t, U u)
44 {
45 _assert(!(t == u));
46 _assert(!(u == t));
47 _assert(t != u);
48 _assert(u != t);
49 }
50
51 template <typename T, typename TQual>
52 static void
tests()53 tests()
54 {
55 std::array<T, 5> array = {T{0}, T{1}, T{2}, T{3}, T{4}};
56
57 // Pointers with the same bounds
58 {
59 test_bounded_ptr<TQual> const a(array.begin(), array.begin(), array.end());
60 test_bounded_ptr<TQual> const b(array.begin(), array.begin(), array.end());
61 check_eq(a, b);
62 }
63 {
64 test_bounded_ptr<TQual> const a(array.begin(), array.begin(), array.end());
65 test_bounded_ptr<TQual> const b(array.begin() + 1, array.begin(), array.end());
66 check_ne(a, b);
67 }
68 {
69 test_bounded_ptr<TQual> const a(array.begin(), array.begin(), array.end());
70 test_bounded_ptr<TQual> const b(array.begin() + 2, array.begin(), array.end());
71 check_ne(a, b);
72 }
73 {
74 test_bounded_ptr<TQual> const a(array.begin(), array.begin(), array.end());
75 test_bounded_ptr<TQual> const b(array.end(), array.begin(), array.end());
76 check_ne(a, b);
77 }
78 {
79 test_bounded_ptr<TQual> const a(array.end(), array.begin(), array.end());
80 test_bounded_ptr<TQual> const b(array.end(), array.begin(), array.end());
81 check_eq(a, b);
82 }
83
84 // Compare null pointers
85 {
86 test_bounded_ptr<TQual> const a;
87 test_bounded_ptr<TQual> const b(array.begin(), array.begin(), array.end());
88 check_ne(a, b);
89 }
90 {
91 test_bounded_ptr<TQual> const a;
92 test_bounded_ptr<TQual> const b;
93 check_eq(a, b);
94 }
95
96 // Pointers with different bounds
97 {
98 // Overlapping bounds, equal
99 test_bounded_ptr<TQual> const a(array.begin(), array.begin() + 2, array.end());
100 test_bounded_ptr<TQual> const b(array.begin(), array.begin(), array.end());
101 check_eq(a, b);
102 }
103 {
104 // Overlapping bounds, not equal
105 test_bounded_ptr<TQual> const a(array.begin(), array.begin() + 2, array.end());
106 test_bounded_ptr<TQual> const b(array.begin() + 2, array.begin(), array.end());
107 check_ne(a, b);
108 }
109 {
110 // Non-overlapping bounds, equal
111 test_bounded_ptr<TQual> const a(array.begin(), array.begin(), array.begin() + 1);
112 test_bounded_ptr<TQual> const b(array.begin(), array.begin() + 2, array.end());
113 check_eq(a, b);
114 }
115 {
116 // Non-overlapping bounds, not equal
117 test_bounded_ptr<TQual> const a(array.begin(), array.begin(), array.begin() + 1);
118 test_bounded_ptr<TQual> const b(array.begin() + 3, array.begin() + 2, array.end());
119 check_ne(a, b);
120 }
121
122 // Test with different policies
123 {
124 libkern::bounded_ptr<TQual, dummy_policy1> const a(array.begin(), array.begin(), array.end());
125 libkern::bounded_ptr<TQual, dummy_policy2> const b(array.begin(), array.begin(), array.end());
126 check_eq(a, b);
127 }
128 }
129
130 struct Base { int i; };
131 struct Derived : Base { };
132
133 template <typename Related>
134 static void
tests_convert()135 tests_convert()
136 {
137 std::array<Derived, 5> array = {Derived{0}, Derived{1}, Derived{2}, Derived{3}, Derived{4}};
138 test_bounded_ptr<Derived> const a(array.begin(), array.begin(), array.end() - 1);
139 test_bounded_ptr<Related> const b(array.begin(), array.begin(), array.end() - 1);
140 check_eq(a, b);
141 }
142
143 T_DECL(compare_equal, "bounded_ptr.compare.equal", T_META_TAG_VM_PREFERRED) {
144 tests<Derived, Derived>();
145 tests<Derived, Derived const>();
146 tests<Derived, Derived volatile>();
147 tests<Derived, Derived const volatile>();
148 tests_convert<Base>();
149 tests_convert<Base const>();
150 tests_convert<Base volatile>();
151 tests_convert<Base const volatile>();
152 }
153