1*8d741a5dSApple OSS Distributions // 2*8d741a5dSApple OSS Distributions // Tests for 3*8d741a5dSApple OSS Distributions // __unsafe_forge_span functions 4*8d741a5dSApple OSS Distributions // 5*8d741a5dSApple OSS Distributions 6*8d741a5dSApple OSS Distributions #include <span> 7*8d741a5dSApple OSS Distributions #include <vector> 8*8d741a5dSApple OSS Distributions #include <os/cxx_safe_buffers.h> 9*8d741a5dSApple OSS Distributions #include <darwintest.h> 10*8d741a5dSApple OSS Distributions 11*8d741a5dSApple OSS Distributions #define CHECK(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) 12*8d741a5dSApple OSS Distributions 13*8d741a5dSApple OSS Distributions struct S { 14*8d741a5dSApple OSS Distributions int i; 15*8d741a5dSApple OSS Distributions }; 16*8d741a5dSApple OSS Distributions 17*8d741a5dSApple OSS Distributions template <typename T> 18*8d741a5dSApple OSS Distributions static void tests()19*8d741a5dSApple OSS Distributionstests() 20*8d741a5dSApple OSS Distributions { 21*8d741a5dSApple OSS Distributions { 22*8d741a5dSApple OSS Distributions T * p = new T[10]; 23*8d741a5dSApple OSS Distributions std::span<T> span = os::span::__unsafe_forge_span(p, 10); 24*8d741a5dSApple OSS Distributions 25*8d741a5dSApple OSS Distributions CHECK(span.data() == p && span.size() == 10); 26*8d741a5dSApple OSS Distributions delete[] p; 27*8d741a5dSApple OSS Distributions } 28*8d741a5dSApple OSS Distributions { 29*8d741a5dSApple OSS Distributions std::vector<T> v; 30*8d741a5dSApple OSS Distributions std::span<T> span = os::span::__unsafe_forge_span(v.begin(), v.end()); 31*8d741a5dSApple OSS Distributions 32*8d741a5dSApple OSS Distributions CHECK(span.data() == v.data() && span.size() == 0); 33*8d741a5dSApple OSS Distributions } 34*8d741a5dSApple OSS Distributions } 35*8d741a5dSApple OSS Distributions 36*8d741a5dSApple OSS Distributions T_DECL(unsafe_forge_span, "cxx_safe_buffers.unsafe_forge_span") 37*8d741a5dSApple OSS Distributions { 38*8d741a5dSApple OSS Distributions tests<S>(); 39*8d741a5dSApple OSS Distributions } 40