//===----------------------------------------------------------------------===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// // UNSUPPORTED: c++03, c++11, c++14, c++17, c++20 // // Test default construction: // // constexpr mapping() noexcept = default; #include #include #include #include #include // dynamic_extent #include "test_macros.h" template constexpr void test_construction() { using M = std::layout_right::mapping; ASSERT_NOEXCEPT(M{}); M m; E e; // check correct extents are returned ASSERT_NOEXCEPT(m.extents()); assert(m.extents() == e); // check required_span_size() typename E::index_type expected_size = 1; for (typename E::rank_type r = 0; r < E::rank(); r++) expected_size *= e.extent(r); assert(m.required_span_size() == expected_size); } constexpr bool test() { constexpr size_t D = std::dynamic_extent; test_construction>(); test_construction>(); test_construction>(); test_construction>(); test_construction>(); return true; } int main(int, char**) { test(); static_assert(test()); return 0; }