1 //===----------------------------------------------------------------------===//
2 //
3 // 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
6 //
7 //===----------------------------------------------------------------------===//
8
9 // UNSUPPORTED: c++03, c++11, c++14, c++17
10 // UNSUPPORTED: libcpp-has-no-incomplete-ranges
11
12 // ranges::next(it, bound)
13
14 #include <iterator>
15
16 #include <cassert>
17 #include <concepts>
18 #include <utility>
19
20 #include "../types.h"
21 #include "test_iterators.h"
22
23 template <typename It>
check_assignable(int * first,int * last,int * expected)24 constexpr void check_assignable(int* first, int* last, int* expected) {
25 It it(first);
26 auto sent = assignable_sentinel(It(last));
27 It result = std::ranges::next(std::move(it), sent);
28 assert(base(result) == expected);
29 }
30
31 template <typename It>
check_sized_sentinel(int * first,int * last,int * expected)32 constexpr void check_sized_sentinel(int* first, int* last, int* expected) {
33 auto size = (last - first);
34
35 It it(first);
36 auto sent = distance_apriori_sentinel(size);
37 std::same_as<It> auto result = std::ranges::next(std::move(it), sent);
38 assert(base(result) == expected);
39 }
40
41 template <typename It>
check_sentinel(int * first,int * last,int * expected)42 constexpr void check_sentinel(int* first, int* last, int* expected) {
43 It it(first);
44 auto sent = sentinel_wrapper(It(last));
45 std::same_as<It> auto result = std::ranges::next(std::move(it), sent);
46 assert(base(result) == expected);
47 }
48
test()49 constexpr bool test() {
50 int range[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
51
52 for (int n = 0; n != 10; ++n) {
53 check_assignable<cpp17_input_iterator<int*>>( range, range+n, range+n);
54 check_assignable<cpp20_input_iterator<int*>>( range, range+n, range+n);
55 check_assignable<forward_iterator<int*>>( range, range+n, range+n);
56 check_assignable<bidirectional_iterator<int*>>(range, range+n, range+n);
57 check_assignable<random_access_iterator<int*>>(range, range+n, range+n);
58 check_assignable<contiguous_iterator<int*>>( range, range+n, range+n);
59 check_assignable<int*>( range, range+n, range+n);
60
61 check_sized_sentinel<cpp17_input_iterator<int*>>( range, range+n, range+n);
62 check_sized_sentinel<cpp20_input_iterator<int*>>( range, range+n, range+n);
63 check_sized_sentinel<forward_iterator<int*>>( range, range+n, range+n);
64 check_sized_sentinel<bidirectional_iterator<int*>>(range, range+n, range+n);
65 check_sized_sentinel<random_access_iterator<int*>>(range, range+n, range+n);
66 check_sized_sentinel<contiguous_iterator<int*>>( range, range+n, range+n);
67 check_sized_sentinel<int*>( range, range+n, range+n);
68
69 check_sentinel<cpp17_input_iterator<int*>>( range, range+n, range+n);
70 check_sentinel<cpp20_input_iterator<int*>>( range, range+n, range+n);
71 check_sentinel<forward_iterator<int*>>( range, range+n, range+n);
72 check_sentinel<bidirectional_iterator<int*>>(range, range+n, range+n);
73 check_sentinel<random_access_iterator<int*>>(range, range+n, range+n);
74 check_sentinel<contiguous_iterator<int*>>( range, range+n, range+n);
75 check_sentinel<int*>( range, range+n, range+n);
76 }
77
78 return true;
79 }
80
main(int,char **)81 int main(int, char**) {
82 test();
83 static_assert(test());
84 return 0;
85 }
86