1 // { dg-do run { target c++14 } }
2
3 // Copyright (C) 2015-2019 Free Software Foundation, Inc.
4 //
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
9 // any later version.
10
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
15
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING3. If not see
18 // <http://www.gnu.org/licenses/>.
19
20 // C++ 2014 24.7, range access [iterator.range]
21
22 #include <iterator>
23 #include <vector>
24 #include <testsuite_hooks.h>
25
26 void
test01()27 test01()
28 {
29 int i[1];
30 VERIFY(std::cbegin(i) == i);
31 VERIFY(std::cend(i) == i+1);
32 VERIFY(std::rbegin(i) == std::reverse_iterator<int*>(i+1));
33 VERIFY(std::rend(i) == std::reverse_iterator<int*>(i));
34 VERIFY(std::crbegin(i) == std::reverse_iterator<int*>(i+1));
35 VERIFY(std::crend(i) == std::reverse_iterator<int*>(i));
36 }
37
38 void
test02()39 test02()
40 {
41 static int i[1];
42 // LWG 2280
43 constexpr auto b __attribute__((unused)) = std::begin(i);
44 constexpr auto e __attribute__((unused)) = std::end(i);
45 constexpr auto cb __attribute__((unused)) = std::cbegin(i);
46 constexpr auto ce __attribute__((unused)) = std::cend(i);
47
48 // LWG 2280
49 static_assert( noexcept(std::begin(i)), "LWG 2280" );
50 static_assert( noexcept(std::end(i)), "LWG 2280" );
51 static_assert( noexcept(std::cbegin(i)), "LWG 2280" );
52 static_assert( noexcept(std::cend(i)), "LWG 2280" );
53
54 // LWG 3537
55 static_assert( noexcept(std::rbegin(i)), "LWG 3537" );
56 static_assert( noexcept(std::rend(i)), "LWG 3537" );
57 }
58
59 void
test03()60 test03()
61 {
62 std::initializer_list<int> il{1};
63 VERIFY(std::cbegin(il) == il.begin());
64 VERIFY(std::cend(il) == il.end());
65 VERIFY(std::rbegin(il) == std::reverse_iterator<const int*>(il.end()));
66 VERIFY(std::rend(il) == std::reverse_iterator<const int*>(il.begin()));
67 VERIFY(std::crbegin(il) == std::reverse_iterator<const int*>(il.end()));
68 VERIFY(std::crend(il) == std::reverse_iterator<const int*>(il.begin()));
69
70 // LWG 3537
71 static_assert( noexcept(std::rbegin(il)), "LWG 3537" );
72 static_assert( noexcept(std::rend(il)), "LWG 3537" );
73 }
74
75 void
test04()76 test04()
77 {
78 std::vector<int> v{1};
79 VERIFY(std::cbegin(v) == v.cbegin());
80 VERIFY(std::cend(v) == v.cend());
81 VERIFY(std::rbegin(v) == v.rbegin());
82 VERIFY(std::rend(v) == v.rend());
83 VERIFY(std::crbegin(v) == v.crbegin());
84 VERIFY(std::crend(v) == v.crend());
85 }
86
87 int
main()88 main()
89 {
90 test01();
91 test02();
92 test03();
93 test04();
94 }
95