]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/testsuite/25_algorithms/adjacent_find/constrained.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 25_algorithms / adjacent_find / constrained.cc
CommitLineData
7adcbafe 1// Copyright (C) 2020-2022 Free Software Foundation, Inc.
bc464641
PP
2//
3// This file is part of the GNU ISO C++ Library. This library is free
4// software; you can redistribute it and/or modify it under the
5// terms of the GNU General Public License as published by the
6// Free Software Foundation; either version 3, or (at your option)
7// any later version.
8
9// This library is distributed in the hope that it will be useful,
10// but WITHOUT ANY WARRANTY; without even the implied warranty of
11// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12// GNU General Public License for more details.
13
14// You should have received a copy of the GNU General Public License along
15// with this library; see the file COPYING3. If not see
16// <http://www.gnu.org/licenses/>.
17
18// { dg-options "-std=gnu++2a" }
19// { dg-do run { target c++2a } }
20
21#include <algorithm>
22#include <testsuite_hooks.h>
23#include <testsuite_iterators.h>
24
25using __gnu_test::test_container;
26using __gnu_test::test_range;
27using __gnu_test::input_iterator_wrapper;
28using __gnu_test::forward_iterator_wrapper;
29
30namespace ranges = std::ranges;
31
32struct X { int i; };
33
34void
35test01()
36{
37 X x[] = { {2}, {2}, {6}, {8}, {10}, {11} };
38 int y[] = { 2, 7, 8, 8, 9 };
39
40 VERIFY( ranges::adjacent_find(x, x+6, {}, &X::i) == x+0 );
41 VERIFY( ranges::adjacent_find(x+1, x+6, {}, &X::i) == x+6 );
42 VERIFY( ranges::adjacent_find(y) == y+2 );
43 VERIFY( ranges::adjacent_find(y, y+4) == y+2 );
44
45 test_container<X, forward_iterator_wrapper> c(x);
46 VERIFY( ranges::adjacent_find(c, {}, &X::i) == ranges::begin(c) );
47
48 test_range<int, forward_iterator_wrapper> r(y);
49 auto res = ranges::adjacent_find(r);
50 VERIFY( *res == 8 && *++res == 8 );
51}
52
53void
54test02()
55{
56 static constexpr X x[] = { {2}, {2}, {6}, {8}, {10}, {11} };
57 static constexpr X y[] = { {2}, {6}, {8}, {10}, {11} };
58 static_assert(ranges::adjacent_find(x, {}, &X::i) == x+0);
59 static_assert(ranges::adjacent_find(y, {}, &X::i) == y+5);
60}
61
62int
63main()
64{
65 test01();
66 test02();
67}
68