1*bb611c8fSApple OSS Distributions //
2*bb611c8fSApple OSS Distributions // Tests for
3*bb611c8fSApple OSS Distributions //  T& operator[](ptrdiff_t n);
4*bb611c8fSApple OSS Distributions //  T const& operator[](ptrdiff_t n) const;
5*bb611c8fSApple OSS Distributions //
6*bb611c8fSApple OSS Distributions 
7*bb611c8fSApple OSS Distributions #include <libkern/c++/bounded_array.h>
8*bb611c8fSApple OSS Distributions #include "test_policy.h"
9*bb611c8fSApple OSS Distributions #include <darwintest.h>
10*bb611c8fSApple OSS Distributions #include <type_traits>
11*bb611c8fSApple OSS Distributions 
12*bb611c8fSApple OSS Distributions struct T { int i; };
13*bb611c8fSApple OSS Distributions inline bool
14*bb611c8fSApple OSS Distributions operator==(T const& a, T const& b)
15*bb611c8fSApple OSS Distributions {
16*bb611c8fSApple OSS Distributions 	return a.i == b.i;
17*bb611c8fSApple OSS Distributions }
18*bb611c8fSApple OSS Distributions 
19*bb611c8fSApple OSS Distributions template <typename T>
20*bb611c8fSApple OSS Distributions static void
21*bb611c8fSApple OSS Distributions tests()
22*bb611c8fSApple OSS Distributions {
23*bb611c8fSApple OSS Distributions 	{
24*bb611c8fSApple OSS Distributions 		test_bounded_array<T, 5> array = {T{0}, T{1}, T{2}, T{3}, T{4}};
25*bb611c8fSApple OSS Distributions 		T& a0 = array[0];
26*bb611c8fSApple OSS Distributions 		CHECK(&a0 == array.data());
27*bb611c8fSApple OSS Distributions 		CHECK(a0 == T{0});
28*bb611c8fSApple OSS Distributions 		T& a1 = array[1];
29*bb611c8fSApple OSS Distributions 		CHECK(a1 == T{1});
30*bb611c8fSApple OSS Distributions 		T& a2 = array[2];
31*bb611c8fSApple OSS Distributions 		CHECK(a2 == T{2});
32*bb611c8fSApple OSS Distributions 		T& a3 = array[3];
33*bb611c8fSApple OSS Distributions 		CHECK(a3 == T{3});
34*bb611c8fSApple OSS Distributions 		T& a4 = array[4];
35*bb611c8fSApple OSS Distributions 		CHECK(a4 == T{4});
36*bb611c8fSApple OSS Distributions 	}
37*bb611c8fSApple OSS Distributions 
38*bb611c8fSApple OSS Distributions 	{
39*bb611c8fSApple OSS Distributions 		test_bounded_array<T, 5> const array = {T{0}, T{1}, T{2}, T{3}, T{4}};
40*bb611c8fSApple OSS Distributions 		T const& a0 = array[0];
41*bb611c8fSApple OSS Distributions 		CHECK(&a0 == array.data());
42*bb611c8fSApple OSS Distributions 		CHECK(a0 == T{0});
43*bb611c8fSApple OSS Distributions 		T const& a1 = array[1];
44*bb611c8fSApple OSS Distributions 		CHECK(a1 == T{1});
45*bb611c8fSApple OSS Distributions 		T const& a2 = array[2];
46*bb611c8fSApple OSS Distributions 		CHECK(a2 == T{2});
47*bb611c8fSApple OSS Distributions 		T const& a3 = array[3];
48*bb611c8fSApple OSS Distributions 		CHECK(a3 == T{3});
49*bb611c8fSApple OSS Distributions 		T const& a4 = array[4];
50*bb611c8fSApple OSS Distributions 		CHECK(a4 == T{4});
51*bb611c8fSApple OSS Distributions 	}
52*bb611c8fSApple OSS Distributions }
53*bb611c8fSApple OSS Distributions 
54*bb611c8fSApple OSS Distributions T_DECL(operator_subscript, "bounded_array.operator.subscript") {
55*bb611c8fSApple OSS Distributions 	tests<T>();
56*bb611c8fSApple OSS Distributions }
57