Mercurial > hg > CbC > CbC_gcc
comparison libstdc++-v3/testsuite/24_iterators/customization_points/92894.cc @ 152:2b5abeee2509
update gcc11
author | anatofuz |
---|---|
date | Mon, 25 May 2020 07:50:57 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
145:1830386684a0 | 152:2b5abeee2509 |
---|---|
1 // Copyright (C) 2020 Free Software Foundation, Inc. | |
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 compile { target c++2a } } | |
20 | |
21 #include <iterator> | |
22 | |
23 using namespace std; | |
24 | |
25 // Define our own of version of indirectly_readable_impl here, | |
26 // to check the use of iter_move even if the real concept in | |
27 // <bits/iterator_concepts.h> no longer uses iter_move. | |
28 template<class In> | |
29 concept indirectly_readable_impl | |
30 = requires(const In in) | |
31 { | |
32 typename iter_value_t<In>; | |
33 typename iter_reference_t<In>; | |
34 typename iter_rvalue_reference_t<In>; | |
35 { *in } -> same_as<iter_reference_t<In>>; | |
36 { ranges::iter_move(in) } -> same_as<iter_rvalue_reference_t<In>>; | |
37 }; | |
38 | |
39 template<class T> requires indirectly_readable_impl<projected<T*, identity>> | |
40 void algo(T) | |
41 { } | |
42 | |
43 void | |
44 test01() | |
45 { | |
46 // PR libstdc++/92894 | |
47 // Verify that the use of range::iter_move above doesn't cause odr-use of | |
48 // projected<local-class-type, identity>::operator* (which is not defined). | |
49 struct X { }; | |
50 X a; | |
51 algo(a); | |
52 } |