| //===----------------------------------------------------------------------===// |
| // |
| // 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 |
| |
| // <ranges> |
| // |
| // Range adaptors that take predicates should support predicates that return a non-boolean |
| // value as long as the returned type is implicitly convertible to bool. |
| |
| #include <ranges> |
| |
| #include "boolean_testable.h" |
| |
| template <std::ranges::view View> |
| constexpr void use(View view) { |
| // Just use the view in a few ways. Our goal here is to trigger the instantiation |
| // of various functions related to the view and its iterators in the hopes that we |
| // instantiate functions that might have incorrect implementations w.r.t. predicates. |
| auto first = std::ranges::begin(view); |
| auto last = std::ranges::end(view); |
| ++first; |
| --first; |
| (void)(first == last); |
| (void)(first != last); |
| (void)std::ranges::empty(view); |
| } |
| |
| using Value = StrictComparable<int>; |
| using Iterator = StrictBooleanIterator<Value*>; |
| using Range = std::ranges::subrange<Iterator>; |
| auto pred1 = StrictUnaryPredicate; |
| auto pred2 = StrictBinaryPredicate; |
| |
| void f(Range in) { |
| (void)pred1; |
| (void)pred2; |
| |
| #if TEST_STD_VER >= 23 |
| { |
| auto view = std::views::chunk_by(in, pred2); |
| use(view); |
| } |
| #endif |
| { |
| auto view = std::views::drop_while(in, pred1); |
| use(view); |
| } |
| { |
| auto view = std::views::filter(in, pred1); |
| use(view); |
| } |
| { |
| auto view = std::views::take_while(in, pred1); |
| use(view); |
| } |
| } |