]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/24_iterators/range_access/range_access_cpp14.cc
1 // { dg-do run { target c++14 } }
3 // Copyright (C) 2015-2024 Free Software Foundation, Inc.
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)
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.
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/>.
20 // C++ 2014 24.7, range access [iterator.range]
24 #include <testsuite_hooks.h>
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
));
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
);
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" );
55 static_assert( noexcept(std::rbegin(i
)), "LWG 3537" );
56 static_assert( noexcept(std::rend(i
)), "LWG 3537" );
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()));
71 static_assert( noexcept(std::rbegin(il
)), "LWG 3537" );
72 static_assert( noexcept(std::rend(il
)), "LWG 3537" );
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());