blob: 9589e63643941bb87604d97ed8198f61ceecb81e [file] [log] [blame]
Marshall Clowc5c29002015-05-26 18:57:27 +00001//===----------------------------------------------------------------------===//
2//
Chandler Carruth57b08b02019-01-19 10:56:40 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Marshall Clowc5c29002015-05-26 18:57:27 +00006//
7//===----------------------------------------------------------------------===//
8
9// <array>
10
11// An array is a contiguous container
12
13#include <array>
14#include <cassert>
15
Marshall Clow7fc6a552019-05-31 18:35:30 +000016#include "test_macros.h"
17
Louis Dionne77b9abf2020-05-22 09:59:48 -040018template <class Container>
19TEST_CONSTEXPR_CXX14 void assert_contiguous(Container const& c)
Marshall Clowc5c29002015-05-26 18:57:27 +000020{
Louis Dionne77b9abf2020-05-22 09:59:48 -040021 for (size_t i = 0; i < c.size(); ++i)
22 assert(*(c.begin() + i) == *(std::addressof(*c.begin()) + i));
23}
24
25TEST_CONSTEXPR_CXX17 bool tests()
26{
27 assert_contiguous(std::array<double, 0>());
28 assert_contiguous(std::array<double, 1>());
29 assert_contiguous(std::array<double, 2>());
30 assert_contiguous(std::array<double, 3>());
31
32 assert_contiguous(std::array<char, 0>());
33 assert_contiguous(std::array<char, 1>());
34 assert_contiguous(std::array<char, 2>());
35 assert_contiguous(std::array<char, 3>());
36
37 return true;
Marshall Clowc5c29002015-05-26 18:57:27 +000038}
39
JF Bastien2df59c52019-02-04 20:31:13 +000040int main(int, char**)
Marshall Clowc5c29002015-05-26 18:57:27 +000041{
Louis Dionne77b9abf2020-05-22 09:59:48 -040042 tests();
43#if TEST_STD_VER >= 17 // begin() & friends are constexpr in >= C++17 only
44 static_assert(tests(), "");
45#endif
46 return 0;
Marshall Clowc5c29002015-05-26 18:57:27 +000047}