]>
Commit | Line | Data |
---|---|---|
91bac9fe | 1 | // { dg-do run { target c++11 } } |
f67a9881 | 2 | |
a945c346 | 3 | // Copyright (C) 2010-2024 Free Software Foundation, Inc. |
f67a9881 PC |
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, | |
2328b1de | 12 | // but WITHOUT ANY WARRANTY; without even the implied warranty of |
f67a9881 PC |
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 | ||
91bac9fe | 20 | // C++11 26.6.10 valarray range access: [valarray.range] |
f67a9881 PC |
21 | |
22 | #include <valarray> | |
23 | ||
24 | void | |
25 | test01() | |
26 | { | |
27 | std::valarray<double> va{1.0, 2.0, 3.0}; | |
91bac9fe JW |
28 | (void) std::begin(va); |
29 | (void) std::end(va); | |
e994d230 | 30 | const auto& cva = va; |
91bac9fe JW |
31 | (void) std::begin(cva); |
32 | (void) std::end(cva); | |
33 | ||
34 | using Iter = decltype(std::begin(va)); | |
35 | using IterTraits = std::iterator_traits<Iter>; | |
36 | static_assert( std::is_same<Iter, decltype(std::end(va))>::value, "" ); | |
37 | static_assert( std::is_same<IterTraits::iterator_category, | |
38 | std::random_access_iterator_tag>::value, "" ); | |
39 | static_assert( std::is_same<IterTraits::value_type, double>::value, "" ); | |
40 | static_assert( std::is_same<IterTraits::reference, double&>::value, "" ); | |
41 | using CIter = decltype(std::begin(cva)); | |
42 | using CIterTraits = std::iterator_traits<CIter>; | |
43 | static_assert( std::is_same<CIter, decltype(std::end(cva))>::value, "" ); | |
44 | static_assert( std::is_same<CIterTraits::iterator_category, | |
45 | std::random_access_iterator_tag>::value, "" ); | |
46 | static_assert( std::is_same<CIterTraits::value_type, double>::value, "" ); | |
47 | static_assert( std::is_same<CIterTraits::reference, const double&>::value, "" ); | |
48 | #if __cplusplus >= 202002L | |
49 | static_assert( std::contiguous_iterator<Iter> ); | |
50 | static_assert( std::contiguous_iterator<CIter> ); | |
51 | #endif | |
52 | } | |
53 | ||
54 | // PR libstdc++/103022 | |
55 | void | |
56 | test02() | |
57 | { | |
58 | std::valarray<double> va; | |
59 | (void) std::begin(va); | |
60 | (void) std::end(va); | |
61 | const auto& cva = va; | |
62 | (void) std::begin(cva); | |
63 | (void) std::end(cva); | |
64 | } | |
65 | ||
66 | int main() | |
67 | { | |
68 | test01(); | |
69 | test02(); | |
f67a9881 | 70 | } |