This is xnu-11215.1.10. See this file in:
//
// Tests for
// explicit bounded_array_ref(bounded_ptr<T, TrappingPolicy> data, size_t n);
//
#include <libkern/c++/bounded_array_ref.h>
#include "test_policy.h"
#include <cstddef>
#include <darwintest.h>
#include <darwintest_utils.h>
struct T { int i; };
inline bool
operator==(T const& a, T const& b)
{
return a.i == b.i;
};
template <typename T>
static void
tests()
{
T array[5] = {T{0}, T{1}, T{2}, T{3}, T{4}};
T* const begin = &array[0];
T* const end = &array[5];
// T{0} T{1} T{2} T{3} T{4} <one-past-last>
// ^ ^
// | |
// begin,ptr end
//
// ^------------------- view -----------------------^
{
test_bounded_ptr<T> ptr(&array[0], begin, end);
test_bounded_array_ref<T> view(ptr, 5);
CHECK(view.data() == &array[0]);
CHECK(view.size() == 5);
CHECK(view[0] == T{0});
CHECK(view[1] == T{1});
CHECK(view[2] == T{2});
CHECK(view[3] == T{3});
CHECK(view[4] == T{4});
}
// T{0} T{1} T{2} T{3} T{4} <one-past-last>
// ^ ^
// | |
// begin,ptr end
//
// ^----- view -----^
{
test_bounded_ptr<T> ptr(&array[0], begin, end);
test_bounded_array_ref<T> view(ptr, 3);
CHECK(view.data() == &array[0]);
CHECK(view.size() == 3);
CHECK(view[0] == T{0});
CHECK(view[1] == T{1});
CHECK(view[2] == T{2});
}
// T{0} T{1} T{2} T{3} T{4} <one-past-last>
// ^ ^ ^
// | | |
// begin ptr end
//
// ^------- view --------^
{
test_bounded_ptr<T> ptr(&array[3], begin, end);
test_bounded_array_ref<T> view(ptr, 2);
CHECK(view.data() == &array[3]);
CHECK(view.size() == 2);
CHECK(view[0] == T{3});
CHECK(view[1] == T{4});
}
// Check with a valid `bounded_ptr` and a size of 0.
{
test_bounded_ptr<T> ptr(&array[0], begin, end);
test_bounded_array_ref<T> view(ptr, 0);
CHECK(view.size() == 0);
}
// Check with a null `bounded_ptr` and a size of 0.
{
test_bounded_ptr<T> ptr = nullptr;
test_bounded_array_ref<T> view(ptr, 0);
CHECK(view.size() == 0);
}
// Check with a non-null but invalid `bounded_ptr` and a size of 0.
{
test_bounded_ptr<T> ptr(end, begin, end);
test_bounded_array_ref<T> view(ptr, 0);
CHECK(view.size() == 0);
}
// Make sure there's no ambiguity between constructors.
{
test_bounded_ptr<T> ptr(begin, begin, end);
std::ptrdiff_t size = sizeof(array) / sizeof(*array);
test_bounded_array_ref<T> view(ptr, size);
CHECK(view.data() == &array[0]);
CHECK(view.size() == 5);
}
}
T_DECL(ctor_bounded_ptr, "bounded_array_ref.ctor.bounded_ptr", T_META_TAG_VM_PREFERRED) {
tests<T>();
tests<T const>();
}