1*43a90889SApple OSS Distributions // 2*43a90889SApple OSS Distributions // Tests for 3*43a90889SApple OSS Distributions // __unsafe_forge_span functions 4*43a90889SApple OSS Distributions // 5*43a90889SApple OSS Distributions 6*43a90889SApple OSS Distributions #include <span> 7*43a90889SApple OSS Distributions #include <vector> 8*43a90889SApple OSS Distributions #include <os/cxx_safe_buffers.h> 9*43a90889SApple OSS Distributions #include <darwintest.h> 10*43a90889SApple OSS Distributions 11*43a90889SApple OSS Distributions #define CHECK(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) 12*43a90889SApple OSS Distributions 13*43a90889SApple OSS Distributions struct S { 14*43a90889SApple OSS Distributions int i; 15*43a90889SApple OSS Distributions }; 16*43a90889SApple OSS Distributions 17*43a90889SApple OSS Distributions template <typename T> 18*43a90889SApple OSS Distributions static void tests()19*43a90889SApple OSS Distributionstests() 20*43a90889SApple OSS Distributions { 21*43a90889SApple OSS Distributions { 22*43a90889SApple OSS Distributions T * p = new T[10]; 23*43a90889SApple OSS Distributions std::span<T> span = os::span::__unsafe_forge_span(p, 10); 24*43a90889SApple OSS Distributions 25*43a90889SApple OSS Distributions CHECK(span.data() == p && span.size() == 10); 26*43a90889SApple OSS Distributions delete[] p; 27*43a90889SApple OSS Distributions } 28*43a90889SApple OSS Distributions { 29*43a90889SApple OSS Distributions const T * p = new T[10]; 30*43a90889SApple OSS Distributions std::span<const T> span = os::span::__unsafe_forge_span(p, 10); 31*43a90889SApple OSS Distributions 32*43a90889SApple OSS Distributions CHECK(span.data() == p && span.size() == 10); 33*43a90889SApple OSS Distributions delete[] p; 34*43a90889SApple OSS Distributions } 35*43a90889SApple OSS Distributions { 36*43a90889SApple OSS Distributions std::vector<T> v; 37*43a90889SApple OSS Distributions std::span<T> span = os::span::__unsafe_forge_span(v.begin(), v.end()); 38*43a90889SApple OSS Distributions 39*43a90889SApple OSS Distributions CHECK(span.data() == v.data() && span.size() == 0); 40*43a90889SApple OSS Distributions } 41*43a90889SApple OSS Distributions { 42*43a90889SApple OSS Distributions T * p = new T[10]; 43*43a90889SApple OSS Distributions std::span<T> span = os::unsafe_forge_span(p, 10); 44*43a90889SApple OSS Distributions std::span<T, 10> span2 = os::unsafe_forge_span<T, 10>(p); 45*43a90889SApple OSS Distributions 46*43a90889SApple OSS Distributions CHECK(span.data() == p && span.size() == 10); 47*43a90889SApple OSS Distributions CHECK(span2.data() == p && span2.size() == 10); 48*43a90889SApple OSS Distributions delete[] p; 49*43a90889SApple OSS Distributions } 50*43a90889SApple OSS Distributions { 51*43a90889SApple OSS Distributions std::vector<T> v; 52*43a90889SApple OSS Distributions std::span<T> span = os::unsafe_forge_span(v.begin(), v.end()); 53*43a90889SApple OSS Distributions 54*43a90889SApple OSS Distributions CHECK(span.data() == v.data() && span.size() == 0); 55*43a90889SApple OSS Distributions } 56*43a90889SApple OSS Distributions } 57*43a90889SApple OSS Distributions 58*43a90889SApple OSS Distributions T_DECL(unsafe_forge_span, "cxx_safe_buffers.unsafe_forge_span") 59*43a90889SApple OSS Distributions { 60*43a90889SApple OSS Distributions tests<S>(); 61*43a90889SApple OSS Distributions } 62