1*43a90889SApple OSS Distributions // 2*43a90889SApple OSS Distributions // Tests for 3*43a90889SApple OSS Distributions // iterator begin() const; 4*43a90889SApple OSS Distributions // iterator end() const; 5*43a90889SApple OSS Distributions // 6*43a90889SApple OSS Distributions 7*43a90889SApple OSS Distributions #include <libkern/c++/bounded_array_ref.h> 8*43a90889SApple OSS Distributions #include "test_policy.h" 9*43a90889SApple OSS Distributions #include <darwintest.h> 10*43a90889SApple OSS Distributions #include <type_traits> 11*43a90889SApple OSS Distributions 12*43a90889SApple OSS Distributions struct T { int i; }; 13*43a90889SApple OSS Distributions 14*43a90889SApple OSS Distributions template <typename T> 15*43a90889SApple OSS Distributions static void tests()16*43a90889SApple OSS Distributionstests() 17*43a90889SApple OSS Distributions { 18*43a90889SApple OSS Distributions using AR = test_bounded_array_ref<T>; 19*43a90889SApple OSS Distributions 20*43a90889SApple OSS Distributions // Check begin()/end() for a non-null array ref 21*43a90889SApple OSS Distributions { 22*43a90889SApple OSS Distributions T array[5] = {T{0}, T{1}, T{2}, T{3}, T{4}}; 23*43a90889SApple OSS Distributions AR const view(array); 24*43a90889SApple OSS Distributions test_bounded_ptr<T> begin = view.begin(); 25*43a90889SApple OSS Distributions test_bounded_ptr<T> end = view.end(); 26*43a90889SApple OSS Distributions CHECK(begin.discard_bounds() == &array[0]); 27*43a90889SApple OSS Distributions CHECK(end.unsafe_discard_bounds() == &array[5]); 28*43a90889SApple OSS Distributions } 29*43a90889SApple OSS Distributions 30*43a90889SApple OSS Distributions // Check begin()/end() for a null array ref 31*43a90889SApple OSS Distributions { 32*43a90889SApple OSS Distributions AR const view; 33*43a90889SApple OSS Distributions test_bounded_ptr<T> begin = view.begin(); 34*43a90889SApple OSS Distributions test_bounded_ptr<T> end = view.end(); 35*43a90889SApple OSS Distributions CHECK(begin.unsafe_discard_bounds() == nullptr); 36*43a90889SApple OSS Distributions CHECK(end.unsafe_discard_bounds() == nullptr); 37*43a90889SApple OSS Distributions } 38*43a90889SApple OSS Distributions 39*43a90889SApple OSS Distributions // Check associated types 40*43a90889SApple OSS Distributions { 41*43a90889SApple OSS Distributions static_assert(std::is_same_v<typename AR::iterator, test_bounded_ptr<T> >); 42*43a90889SApple OSS Distributions } 43*43a90889SApple OSS Distributions } 44*43a90889SApple OSS Distributions 45*43a90889SApple OSS Distributions T_DECL(begin_end, "bounded_array_ref.begin_end", T_META_TAG_VM_PREFERRED) { 46*43a90889SApple OSS Distributions tests<T>(); 47*43a90889SApple OSS Distributions } 48