| /llvm-project-15.0.7/libcxx/test/std/ranges/range.adaptors/range.zip/ |
| H A D | range.concept.compile.pass.cpp | 32 static_assert(std::ranges::common_range<View>); in testConceptPair() 33 static_assert(std::ranges::sized_range<View>); in testConceptPair() 41 static_assert(!std::ranges::common_range<View>); in testConceptPair() 42 static_assert(!std::ranges::sized_range<View>); in testConceptPair() 50 static_assert(std::ranges::common_range<View>); in testConceptPair() 51 static_assert(std::ranges::sized_range<View>); in testConceptPair() 59 static_assert(std::ranges::common_range<View>); in testConceptPair() 60 static_assert(std::ranges::sized_range<View>); in testConceptPair() 69 static_assert(std::ranges::sized_range<View>); in testConceptPair() 313 struct OutputView : std::ranges::view_base { [all …]
|
| H A D | types.h | 24 struct BufferView : std::ranges::view_base { 57 static_assert(std::ranges::common_range<Common<true>>); 58 static_assert(std::ranges::random_access_range<SimpleCommon>); 59 static_assert(std::ranges::sized_range<SimpleCommon>); 107 static_assert(!std::ranges::common_range<SimpleNonCommon>); 109 static_assert(!std::ranges::sized_range<SimpleNonCommon>); 230 static_assert(std::ranges::sized_range<ForwardSizedView>); 268 static_assert(std::ranges::view<SizedRandomAccessView>); 328 static_assert(std::ranges::input_range<InputCommonView>); 355 static_assert(!std::ranges::sized_range<BidiCommonView>); [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/ranges/range.req/range.refinements/ |
| H A D | viewable_range.compile.pass.cpp | 32 static_assert(!std::ranges::range<T1>); 45 static_assert(std::ranges::range<T2>); 46 static_assert(std::ranges::view<T2>); 60 static_assert(std::ranges::range<T3>); 61 static_assert(std::ranges::view<T3>); 88 static_assert( std::ranges::range<T5>); 89 static_assert(!std::ranges::view<T5>); 116 static_assert( std::ranges::range<T6>); 117 static_assert(!std::ranges::view<T6>); 147 static_assert(std::ranges::range<T8>); [all …]
|
| H A D | common_range.compile.pass.cpp | 28 static_assert( std::ranges::common_range<Common<int*>>); 36 static_assert(!std::ranges::common_range<NonCommon<int*>>); 39 static_assert(!std::ranges::common_range<Range<int*, int const*>>); 54 static_assert(!std::ranges::common_range<Range1>); 55 static_assert( std::ranges::common_range<Range1 const>); 63 static_assert( std::ranges::common_range<Range2>); 64 static_assert(!std::ranges::common_range<Range2 const>); 70 static_assert(!std::ranges::common_range<Holder<Incomplete>*>); 71 static_assert(!std::ranges::common_range<Holder<Incomplete>*&>); 72 static_assert(!std::ranges::common_range<Holder<Incomplete>*&&>); [all …]
|
| H A D | contiguous_range.compile.pass.cpp | 20 namespace ranges = std::ranges; 24 constexpr bool result = ranges::contiguous_range<test_range<I> >; in check_range() 25 static_assert(ranges::contiguous_range<test_range<I> const> == result); in check_range() 48 static_assert( std::ranges::contiguous_range<ContiguousWhenNonConst>); 60 static_assert( std::ranges::random_access_range<ContiguousWhenConst>); 61 static_assert(!std::ranges::contiguous_range<ContiguousWhenConst>); 76 static_assert(std::ranges::contiguous_range<WrongObjectness>); 82 static_assert(!std::ranges::contiguous_range<Holder<Incomplete>*>); 83 static_assert(!std::ranges::contiguous_range<Holder<Incomplete>*&>); 84 static_assert(!std::ranges::contiguous_range<Holder<Incomplete>*&&>); [all …]
|
| H A D | input_range.compile.pass.cpp | 20 static_assert(std::ranges::input_range<test_range<cpp17_input_iterator> >); 23 static_assert(std::ranges::input_range<test_range<cpp20_input_iterator> >); 48 static_assert(!std::ranges::input_range<Holder<Incomplete>*>); 49 static_assert(!std::ranges::input_range<Holder<Incomplete>*&>); 50 static_assert(!std::ranges::input_range<Holder<Incomplete>*&&>); 51 static_assert(!std::ranges::input_range<Holder<Incomplete>* const>); 52 static_assert(!std::ranges::input_range<Holder<Incomplete>* const&>); 53 static_assert(!std::ranges::input_range<Holder<Incomplete>* const&&>); 55 static_assert( std::ranges::input_range<Holder<Incomplete>*[10]>); 56 static_assert( std::ranges::input_range<Holder<Incomplete>*(&)[10]>); [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/ranges/range.req/range.view/ |
| H A D | enable_view.compile.pass.cpp | 23 static_assert(!std::ranges::enable_view<Empty>); 24 static_assert(!std::ranges::enable_view<Empty&>); 25 static_assert(!std::ranges::enable_view<Empty&&>); 72 struct V1 : std::ranges::view_interface<V1> {}; 73 static_assert(std::ranges::enable_view<V1>); 74 static_assert(!std::ranges::enable_view<V1&>); 80 struct V2 : std::ranges::view_interface<V1>, std::ranges::view_interface<V2> {}; 81 static_assert(!std::ranges::enable_view<V2>); 82 static_assert(!std::ranges::enable_view<V2&>); 89 static_assert(std::ranges::enable_view<V3>); [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/library/description/conventions/customization.point.object/ |
| H A D | niebloid.compile.pass.cpp | 68 static_assert(test(std::ranges::copy, a, a)); 75 static_assert(test(std::ranges::equal, a, a)); 77 static_assert(test(std::ranges::fill, a, 42)); 90 static_assert(test(std::ranges::is_heap, a)); 99 static_assert(test(std::ranges::max, a)); 102 static_assert(test(std::ranges::min, a)); 104 static_assert(test(std::ranges::minmax, a)); 107 static_assert(test(std::ranges::move, a, a)); 140 static_assert(test(std::ranges::sort, a)); 147 static_assert(test(std::ranges::unique, a)); [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/ranges/range.adaptors/range.lazy.split/ |
| H A D | constraints.compile.pass.cpp | 42 static_assert( std::ranges::view<View>); 45 std::ranges::iterator_t<View>, std::ranges::iterator_t<Pattern>, std::ranges::equal_to>); 57 static_assert( std::ranges::view<View>); 60 std::ranges::iterator_t<View>, std::ranges::iterator_t<Pattern>, std::ranges::equal_to>); 94 std::ranges::iterator_t<View>, std::ranges::iterator_t<Pattern>, std::ranges::equal_to>); 109 std::ranges::iterator_t<View>, std::ranges::iterator_t<Pattern>, std::ranges::equal_to>); 124 std::ranges::iterator_t<View>, std::ranges::iterator_t<Pattern>, std::ranges::equal_to>); 145 std::ranges::iterator_t<View>, std::ranges::iterator_t<Pattern>, std::ranges::equal_to>); 162 std::ranges::iterator_t<View>, std::ranges::iterator_t<Pattern>, std::ranges::equal_to>); 185 std::ranges::iterator_t<View>, std::ranges::iterator_t<Pattern>, std::ranges::equal_to>); [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/algorithms/ |
| H A D | ranges_robust_against_dangling.pass.cpp | 43 template <class ExpectedT = std::ranges::dangling, class Func, std::ranges::range Input, class ...A… 50 template <class ExpectedT = std::ranges::dangling, class Func, std::ranges::range Input, class ...A… 57 template <class ExpectedT = std::ranges::dangling, class Func, std::ranges::range Input, class ...A… 67 using std::ranges::dangling; in test_all() 70 using std::ranges::copy_result; in test_all() 72 using std::ranges::copy_if_result; in test_all() 73 using std::ranges::for_each_result; in test_all() 74 using std::ranges::merge_result; in test_all() 75 using std::ranges::minmax_result; in test_all() 76 using std::ranges::mismatch_result; in test_all() [all …]
|
| H A D | ranges_robust_against_proxy_iterators.pass.cpp | 38 template <class Func, std::ranges::range Range1, std::ranges::range Range2, class ...Args> 78 test(std::ranges::find, in, x); in run_tests() 95 test(std::ranges::count, in, x); in run_tests() 101 test(std::ranges::is_sorted, in); in run_tests() 104 test(std::ranges::is_heap, in); in run_tests() 115 test(std::ranges::move, in, out); in run_tests() 118 test(std::ranges::fill, in, x); in run_tests() 148 test(std::ranges::reverse, in); in run_tests() 156 test(std::ranges::unique, in); in run_tests() 160 test(std::ranges::sort, in); in run_tests() [all …]
|
| H A D | ranges_robust_against_nonbool_predicates.pass.cpp | 70 test(std::ranges::any_of, in, unary_pred); in test_all() 71 test(std::ranges::all_of, in, unary_pred); in test_all() 72 test(std::ranges::none_of, in, unary_pred); in test_all() 87 std::ranges::min(1, 2, binary_pred); in test_all() 89 std::ranges::min(in, binary_pred); in test_all() 91 std::ranges::max(1, 2, binary_pred); in test_all() 93 std::ranges::max(in, binary_pred); in test_all() 95 std::ranges::minmax(1, 2, binary_pred); in test_all() 97 std::ranges::minmax(in, binary_pred); in test_all() 112 std::ranges::clamp(2, 1, 3, binary_pred); in test_all() [all …]
|
| H A D | ranges_robust_against_omitting_invoke.pass.cpp | 78 test(std::ranges::find, in, x, &Bar::val); in test_all() 93 std::ranges::min(a, b, &Foo::binary_pred, &Bar::val); in test_all() 95 std::ranges::min(in, &Foo::binary_pred, &Bar::val); in test_all() 97 std::ranges::max(a, b, &Foo::binary_pred, &Bar::val); in test_all() 99 std::ranges::max(in, &Foo::binary_pred, &Bar::val); in test_all() 101 std::ranges::minmax(a, b, &Foo::binary_pred, &Bar::val); in test_all() 103 std::ranges::minmax(in, &Foo::binary_pred, &Bar::val); in test_all() 108 test(std::ranges::count, in, x, &Bar::val); in test_all() 132 test(std::ranges::remove_copy, in, out, x, &Bar::val); in test_all() 135 test(std::ranges::replace, in, x, a, &Bar::val); in test_all() [all …]
|
| /llvm-project-15.0.7/libcxx/test/libcxx/algorithms/ |
| H A D | ranges_robust_against_copying_comparators.pass.cpp | 96 (void)std::ranges::all_of(a, UnaryTrue(&copies)); assert(copies == 0); in all_the_algorithms() 110 (void)std::ranges::equal(a, b, Equal(&copies)); assert(copies == 0); in all_the_algorithms() 130 (void)std::ranges::is_heap(a, Less(&copies)); assert(copies == 0); in all_the_algorithms() 138 (void)std::ranges::is_sorted(a, Less(&copies)); assert(copies == 0); in all_the_algorithms() 148 (void)std::ranges::make_heap(a, Less(&copies)); assert(copies == 0); in all_the_algorithms() 151 (void)std::ranges::max(a, Less(&copies)); assert(copies == 0); in all_the_algorithms() 158 (void)std::ranges::min(a, Less(&copies)); assert(copies == 0); in all_the_algorithms() 163 (void)std::ranges::minmax(a, Less(&copies)); assert(copies == 0); in all_the_algorithms() 185 (void)std::ranges::pop_heap(a, Less(&copies)); assert(copies == 0); in all_the_algorithms() 211 (void)std::ranges::sort(a, Less(&copies)); assert(copies == 0); in all_the_algorithms() [all …]
|
| H A D | ranges_robust_against_copying_projections.pass.cpp | 78 (void)std::ranges::all_of(a, UnaryTrue(), Proj(&copies)); assert(copies == 0); in all_the_algorithms() 80 (void)std::ranges::any_of(a, UnaryTrue(), Proj(&copies)); assert(copies == 0); in all_the_algorithms() 85 (void)std::ranges::count(a, value, Proj(&copies)); assert(copies == 0); in all_the_algorithms() 98 (void)std::ranges::find(a, value, Proj(&copies)); assert(copies == 0); in all_the_algorithms() 113 (void)std::ranges::is_heap(a, Less(), Proj(&copies)); assert(copies == 0); in all_the_algorithms() 121 (void)std::ranges::is_sorted(a, Less(), Proj(&copies)); assert(copies == 0); in all_the_algorithms() 134 (void)std::ranges::max(a, Less(), Proj(&copies)); assert(copies == 0); in all_the_algorithms() 141 (void)std::ranges::min(a, Less(), Proj(&copies)); assert(copies == 0); in all_the_algorithms() 146 (void)std::ranges::minmax(a, Less(), Proj(&copies)); assert(copies == 0); in all_the_algorithms() 178 (void)std::ranges::remove(a, value, Proj(&copies)); assert(copies == 0); in all_the_algorithms() [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/algorithms/algorithms.results/ |
| H A D | in_in_out_result.pass.cpp | 32 static_assert(std::is_constructible_v<std::ranges::in_in_out_result<B, B, B>, std::ranges::in_in_ou… 33 static_assert(std::is_constructible_v<std::ranges::in_in_out_result<B, B, B>, std::ranges::in_in_ou… 34 static_assert(std::is_constructible_v<std::ranges::in_in_out_result<B, B, B>, const std::ranges::in… 35 static_assert(std::is_constructible_v<std::ranges::in_in_out_result<B, B, B>, const std::ranges::in… 40 static_assert(!std::is_constructible_v<std::ranges::in_in_out_result<C, C, C>, std::ranges::in_in_o… 43 static_assert(std::is_convertible_v<std::ranges::in_in_out_result<int, int, int>&, std::ranges::in_… 44 static_assert(std::is_convertible_v<const std::ranges::in_in_out_result<int, int, int>&, std::range… 45 static_assert(std::is_convertible_v<std::ranges::in_in_out_result<int, int, int>&&, std::ranges::in… 46 static_assert(std::is_convertible_v<const std::ranges::in_in_out_result<int, int, int>&&, std::rang… 60 static_assert(!std::is_convertible_v<std::ranges::in_in_out_result<NotConvertible, int, int>, std::… [all …]
|
| H A D | in_out_out_result.pass.cpp | 25 static_assert(!std::is_constructible_v<std::ranges::in_out_out_result<A, A, A>, std::ranges::in_out… 31 static_assert(std::is_constructible_v<std::ranges::in_out_out_result<B, B, B>, std::ranges::in_out_… 32 static_assert(std::is_constructible_v<std::ranges::in_out_out_result<B, B, B>, std::ranges::in_out_… 33 static_assert(std::is_constructible_v<std::ranges::in_out_out_result<B, B, B>, const std::ranges::i… 34 static_assert(std::is_constructible_v<std::ranges::in_out_out_result<B, B, B>, const std::ranges::i… 39 static_assert(!std::is_constructible_v<std::ranges::in_out_out_result<C, C, C>, std::ranges::in_out… 42 static_assert(std::is_convertible_v<std::ranges::in_out_out_result<int, int, int>&, std::ranges::in… 43 static_assert(std::is_convertible_v<const std::ranges::in_out_out_result<int, int, int>&, std::rang… 44 static_assert(std::is_convertible_v<std::ranges::in_out_out_result<int, int, int>&&, std::ranges::i… 45 static_assert(std::is_convertible_v<const std::ranges::in_out_out_result<int, int, int>&&, std::ran… [all …]
|
| H A D | no_unique_address.compile.pass.cpp | 27 static_assert(sizeof(std::ranges::in_fun_result<Empty, int>) == sizeof(int)); 28 static_assert(sizeof(std::ranges::in_fun_result<int, Empty>) == sizeof(int)); 29 static_assert(sizeof(std::ranges::in_fun_result<Empty, Empty>) == 2); 31 static_assert(sizeof(std::ranges::in_in_result<Empty, int>) == sizeof(int)); 32 static_assert(sizeof(std::ranges::in_in_result<int, Empty>) == sizeof(int)); 33 static_assert(sizeof(std::ranges::in_in_result<Empty, Empty>) == 2); 35 static_assert(sizeof(std::ranges::in_out_result<Empty, int>) == sizeof(int)); 36 static_assert(sizeof(std::ranges::in_out_result<int, Empty>) == sizeof(int)); 61 TEST_NO_UNIQUE_ADDRESS std::ranges::min_max_result<Empty> b; 65 static_assert(sizeof(std::ranges::min_max_result<Empty>) == 2); [all …]
|
| H A D | in_fun_result.pass.cpp | 26 static_assert(!std::is_constructible_v<std::ranges::in_fun_result<A, A>, std::ranges::in_fun_result… 32 static_assert(std::is_constructible_v<std::ranges::in_fun_result<B, B>, std::ranges::in_fun_result<… 33 static_assert(std::is_constructible_v<std::ranges::in_fun_result<B, B>, std::ranges::in_fun_result<… 34 static_assert(std::is_constructible_v<std::ranges::in_fun_result<B, B>, const std::ranges::in_fun_r… 35 static_assert(std::is_constructible_v<std::ranges::in_fun_result<B, B>, const std::ranges::in_fun_r… 40 static_assert(!std::is_constructible_v<std::ranges::in_fun_result<C, C>, std::ranges::in_fun_result… 43 static_assert(std::is_convertible_v<std::ranges::in_fun_result<int, int>&, std::ranges::in_fun_resu… 44 static_assert(std::is_convertible_v<const std::ranges::in_fun_result<int, int>&, std::ranges::in_fu… 45 static_assert(std::is_convertible_v<std::ranges::in_fun_result<int, int>&&, std::ranges::in_fun_res… 46 static_assert(std::is_convertible_v<const std::ranges::in_fun_result<int, int>&&, std::ranges::in_f… [all …]
|
| H A D | in_in_result.pass.cpp | 25 static_assert(!std::is_constructible_v<std::ranges::in_in_result<A, A>, std::ranges::in_in_result<i… 31 static_assert(std::is_constructible_v<std::ranges::in_in_result<B, B>, std::ranges::in_in_result<in… 32 static_assert(std::is_constructible_v<std::ranges::in_in_result<B, B>, std::ranges::in_in_result<in… 33 static_assert(std::is_constructible_v<std::ranges::in_in_result<B, B>, const std::ranges::in_in_res… 34 static_assert(std::is_constructible_v<std::ranges::in_in_result<B, B>, const std::ranges::in_in_res… 39 static_assert(!std::is_constructible_v<std::ranges::in_in_result<C, C>, std::ranges::in_in_result<i… 42 static_assert(std::is_convertible_v<std::ranges::in_in_result<int, int>&, std::ranges::in_in_result… 43 static_assert(std::is_convertible_v<const std::ranges::in_in_result<int, int>&, std::ranges::in_in_… 44 static_assert(std::is_convertible_v<std::ranges::in_in_result<int, int>&&, std::ranges::in_in_resul… 45 static_assert(std::is_convertible_v<const std::ranges::in_in_result<int, int>&&, std::ranges::in_in… [all …]
|
| H A D | in_found_result.pass.cpp | 25 static_assert(!std::is_constructible_v<std::ranges::in_found_result<A>, std::ranges::in_found_resul… 32 static_assert(std::is_constructible_v<std::ranges::in_found_result<B>, std::ranges::in_found_result… 33 static_assert(std::is_constructible_v<std::ranges::in_found_result<B>, std::ranges::in_found_result… 34 static_assert(std::is_constructible_v<std::ranges::in_found_result<B>, const std::ranges::in_found_… 35 static_assert(std::is_constructible_v<std::ranges::in_found_result<B>, const std::ranges::in_found_… 40 static_assert(!std::is_constructible_v<std::ranges::in_found_result<C>, std::ranges::in_found_resul… 43 static_assert(std::is_convertible_v<std::ranges::in_found_result<int>&, std::ranges::in_found_resul… 44 static_assert(std::is_convertible_v<const std::ranges::in_found_result<int>&, std::ranges::in_found… 45 static_assert(std::is_convertible_v<std::ranges::in_found_result<int>&&, std::ranges::in_found_resu… 46 static_assert(std::is_convertible_v<const std::ranges::in_found_result<int>&&, std::ranges::in_foun… [all …]
|
| H A D | in_out_result.pass.cpp | 25 static_assert(!std::is_constructible_v<std::ranges::in_out_result<A, A>, std::ranges::in_out_result… 31 static_assert(std::is_constructible_v<std::ranges::in_out_result<B, B>, std::ranges::in_out_result<… 32 static_assert(std::is_constructible_v<std::ranges::in_out_result<B, B>, std::ranges::in_out_result<… 33 static_assert(std::is_constructible_v<std::ranges::in_out_result<B, B>, const std::ranges::in_out_r… 34 static_assert(std::is_constructible_v<std::ranges::in_out_result<B, B>, const std::ranges::in_out_r… 39 static_assert(!std::is_constructible_v<std::ranges::in_out_result<C, C>, std::ranges::in_out_result… 42 static_assert(std::is_convertible_v<std::ranges::in_out_result<int, int>&, std::ranges::in_out_resu… 43 static_assert(std::is_convertible_v<const std::ranges::in_out_result<int, int>&, std::ranges::in_ou… 44 static_assert(std::is_convertible_v<std::ranges::in_out_result<int, int>&&, std::ranges::in_out_res… 45 static_assert(std::is_convertible_v<const std::ranges::in_out_result<int, int>&&, std::ranges::in_o… [all …]
|
| /llvm-project-15.0.7/libcxx/test/libcxx/ranges/range.adaptors/range.lazy.split/ |
| H A D | no_unique_address.compile.pass.cpp | 45 struct InputView : std::ranges::view_base { 52 static_assert( std::ranges::view<InputView>); 54 struct TinyView : std::ranges::view_base { 62 static_assert( std::ranges::view<TinyView>); 76 struct EmptyView1 : std::ranges::view_base { 81 static_assert( std::ranges::view<EmptyView1>); 90 static_assert( std::ranges::view<EmptyView2>); 100 struct EmptyInputView : std::ranges::view_base { 108 struct EmptyTinyView : std::ranges::view_base { 115 static_assert( std::ranges::view<EmptyTinyView>); [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/iterators/iterator.primitives/range.iter.ops/range.iter.ops.distance/ |
| H A D | iterator_sentinel.pass.cpp | 32 assert(std::ranges::distance(first, last) == 0); in test_unsized() 33 assert(std::ranges::distance(It(a), last) == 0); in test_unsized() 41 assert(std::ranges::distance(first, last) == 3); in test_unsized() 70 assert(std::ranges::distance(first, last) == -3); in test_sized() 93 assert(std::ranges::distance(first, last) == 0); in test_sized() 94 assert(std::ranges::distance(It(a), last) == 0); in test_sized() 102 assert(std::ranges::distance(first, last) == 3); in test_sized() 103 assert(std::ranges::distance(It(a), last) == 3); in test_sized() 163 assert(std::ranges::distance(a, a + 3) == 3); in test() 164 assert(std::ranges::distance(a, a) == 0); in test() [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/ranges/range.adaptors/range.join.view/ |
| H A D | end.pass.cpp | 59 std::ranges::join_view jv(outer); in test() 74 std::ranges::join_view jv(outer); in test() 89 std::ranges::join_view jv(outer); in test() 104 std::ranges::join_view jv(outer); in test() 117 std::ranges::join_view jv(outer); in test() 132 std::ranges::join_view jv(outer); in test() 147 std::ranges::join_view jv(outer); in test() 162 std::ranges::join_view jv(outer); in test() 177 std::ranges::join_view jv(outer); in test() 192 std::ranges::join_view jv(outer); in test() [all …]
|