summaryrefslogtreecommitdiff
path: root/libstdc++-v3/testsuite/25_algorithms/contains_subrange/1.cc
blob: 6c3c99c0fd631bb5d1dad577ebd14feeb3324536 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
// { dg-options "-std=gnu++23" }
// { dg-do run { target c++23 } }

#include <algorithm>
#include <testsuite_hooks.h>
#include <testsuite_iterators.h>

namespace ranges = std::ranges;

void
test01()
{
  int x[] = {1,2,3,4,5};
  int y[] = {2,3,4};
  int z[] = {4,5,6};
  __gnu_test::test_forward_range<int> rx(x);
  __gnu_test::test_forward_range<int> ry(y);
  __gnu_test::test_forward_range<int> rz(z);
  VERIFY( ranges::contains_subrange(rx, ry) );
  VERIFY( !ranges::contains_subrange(rx, rz) );
  VERIFY( ranges::contains_subrange(rx, ry, ranges::less{}) );
  VERIFY( ranges::contains_subrange(rx, rz, ranges::less{}) );
  auto plus3 = [](int n) { return n+3; };
  VERIFY( !ranges::contains_subrange(rx, ry, {}, plus3) );
  VERIFY( ranges::contains_subrange(rx, rz, {}, plus3) );
  VERIFY( ranges::contains_subrange(rx, ry, {}, plus3, plus3) );
  VERIFY( !ranges::contains_subrange(rx, rz, {}, plus3, plus3) );

  VERIFY( ranges::contains_subrange(x, x+2, y, y+1) );
  VERIFY( !ranges::contains_subrange(x, x+2, y, y+2) );
}

int
main()
{
  test01();
}