[gcc r10-10203] libstdc++: Add missing std::move to ranges::copy/move/reverse_copy [PR101599]
Patrick Palka
ppalka@gcc.gnu.org
Tue Oct 12 18:38:16 GMT 2021
https://gcc.gnu.org/g:55e6dca3090eb34ad9e48bdd7fc50e8ab376244e
commit r10-10203-g55e6dca3090eb34ad9e48bdd7fc50e8ab376244e
Author: Patrick Palka <ppalka@redhat.com>
Date: Mon Aug 2 15:30:15 2021 -0400
libstdc++: Add missing std::move to ranges::copy/move/reverse_copy [PR101599]
In passing, this also renames the template parameter _O2 to _Out2 in
ranges::partition_copy and uglifies two of its function parameters,
out_true and out_false.
PR libstdc++/101599
libstdc++-v3/ChangeLog:
* include/bits/ranges_algo.h (__reverse_copy_fn::operator()):
Add missing std::move in return statement.
(__partition_copy_fn::operator()): Rename templtae parameter
_O2 to _Out2. Uglify function parameters out_true and out_false.
* include/bits/ranges_algobase.h (__copy_or_move): Add missing
std::move to recursive call that unwraps a __normal_iterator
output iterator.
* testsuite/25_algorithms/copy/constrained.cc (test06): New test.
* testsuite/25_algorithms/move/constrained.cc (test05): New test.
(cherry picked from commit 14d8a5ae472ca5743016f37da2dd4770d83dea21)
Diff:
---
libstdc++-v3/include/bits/ranges_algo.h | 20 ++++++++++----------
libstdc++-v3/include/bits/ranges_algobase.h | 2 +-
.../testsuite/25_algorithms/copy/constrained.cc | 13 +++++++++++++
.../testsuite/25_algorithms/move/constrained.cc | 13 +++++++++++++
4 files changed, 37 insertions(+), 11 deletions(-)
diff --git a/libstdc++-v3/include/bits/ranges_algo.h b/libstdc++-v3/include/bits/ranges_algo.h
index fe9ee31d8a2..45379d1cb9c 100644
--- a/libstdc++-v3/include/bits/ranges_algo.h
+++ b/libstdc++-v3/include/bits/ranges_algo.h
@@ -1553,7 +1553,7 @@ namespace ranges
*__result = *__tail;
++__result;
}
- return {__i, __result};
+ return {__i, std::move(__result)};
}
template<bidirectional_range _Range, weakly_incrementable _Out>
@@ -2631,14 +2631,14 @@ namespace ranges
struct __partition_copy_fn
{
template<input_iterator _Iter, sentinel_for<_Iter> _Sent,
- weakly_incrementable _Out1, weakly_incrementable _O2,
+ weakly_incrementable _Out1, weakly_incrementable _Out2,
typename _Proj = identity,
indirect_unary_predicate<projected<_Iter, _Proj>> _Pred>
requires indirectly_copyable<_Iter, _Out1>
- && indirectly_copyable<_Iter, _O2>
- constexpr partition_copy_result<_Iter, _Out1, _O2>
+ && indirectly_copyable<_Iter, _Out2>
+ constexpr partition_copy_result<_Iter, _Out1, _Out2>
operator()(_Iter __first, _Sent __last,
- _Out1 __out_true, _O2 __out_false,
+ _Out1 __out_true, _Out2 __out_false,
_Pred __pred, _Proj __proj = {}) const
{
for (; __first != __last; ++__first)
@@ -2658,18 +2658,18 @@ namespace ranges
}
template<input_range _Range, weakly_incrementable _Out1,
- weakly_incrementable _O2,
+ weakly_incrementable _Out2,
typename _Proj = identity,
indirect_unary_predicate<projected<iterator_t<_Range>, _Proj>>
_Pred>
requires indirectly_copyable<iterator_t<_Range>, _Out1>
- && indirectly_copyable<iterator_t<_Range>, _O2>
- constexpr partition_copy_result<borrowed_iterator_t<_Range>, _Out1, _O2>
- operator()(_Range&& __r, _Out1 out_true, _O2 out_false,
+ && indirectly_copyable<iterator_t<_Range>, _Out2>
+ constexpr partition_copy_result<borrowed_iterator_t<_Range>, _Out1, _Out2>
+ operator()(_Range&& __r, _Out1 __out_true, _Out2 __out_false,
_Pred __pred, _Proj __proj = {}) const
{
return (*this)(ranges::begin(__r), ranges::end(__r),
- std::move(out_true), std::move(out_false),
+ std::move(__out_true), std::move(__out_false),
std::move(__pred), std::move(__proj));
}
};
diff --git a/libstdc++-v3/include/bits/ranges_algobase.h b/libstdc++-v3/include/bits/ranges_algobase.h
index 2adff643ac2..aef80a38586 100644
--- a/libstdc++-v3/include/bits/ranges_algobase.h
+++ b/libstdc++-v3/include/bits/ranges_algobase.h
@@ -245,7 +245,7 @@ namespace ranges
else if constexpr (__is_normal_iterator<_Out>)
{
auto [__in,__out]
- = ranges::__copy_or_move<_IsMove>(__first, __last, __result.base());
+ = ranges::__copy_or_move<_IsMove>(std::move(__first), __last, __result.base());
return {std::move(__in), decltype(__result){__out}};
}
else if constexpr (sized_sentinel_for<_Sent, _Iter>)
diff --git a/libstdc++-v3/testsuite/25_algorithms/copy/constrained.cc b/libstdc++-v3/testsuite/25_algorithms/copy/constrained.cc
index aafe845db3a..b7b3569ff83 100644
--- a/libstdc++-v3/testsuite/25_algorithms/copy/constrained.cc
+++ b/libstdc++-v3/testsuite/25_algorithms/copy/constrained.cc
@@ -26,6 +26,7 @@
using __gnu_test::test_container;
using __gnu_test::test_range;
using __gnu_test::input_iterator_wrapper;
+using __gnu_test::input_iterator_wrapper_nocopy;
using __gnu_test::output_iterator_wrapper;
using __gnu_test::forward_iterator_wrapper;
@@ -214,6 +215,17 @@ test05()
return ok;
}
+void
+test06()
+{
+ // PR libstdc++/101599
+ int x[] = {1,2,3};
+ test_range<int, input_iterator_wrapper_nocopy> rx(x);
+ std::vector<int> v(4, 0);
+ ranges::copy(rx, v.begin());
+ VERIFY( ranges::equal(v, (int[]){1,2,3,0}) );
+}
+
int
main()
{
@@ -222,4 +234,5 @@ main()
static_assert(test03());
test04();
static_assert(test05());
+ test06();
}
diff --git a/libstdc++-v3/testsuite/25_algorithms/move/constrained.cc b/libstdc++-v3/testsuite/25_algorithms/move/constrained.cc
index f15de548709..14eeb1483ac 100644
--- a/libstdc++-v3/testsuite/25_algorithms/move/constrained.cc
+++ b/libstdc++-v3/testsuite/25_algorithms/move/constrained.cc
@@ -26,6 +26,7 @@
using __gnu_test::test_container;
using __gnu_test::test_range;
using __gnu_test::input_iterator_wrapper;
+using __gnu_test::input_iterator_wrapper_nocopy;
using __gnu_test::output_iterator_wrapper;
using __gnu_test::forward_iterator_wrapper;
@@ -193,6 +194,17 @@ test04()
VERIFY( ranges::count(y, 0, &X::moved) == 6 );
}
+void
+test05()
+{
+ // PR libstdc++/101599
+ int x[] = {1,2,3};
+ test_range<int, input_iterator_wrapper_nocopy> rx(x);
+ std::vector<int> v(4, 0);
+ ranges::move(rx, v.begin());
+ VERIFY( ranges::equal(v, (int[]){1,2,3,0}) );
+}
+
int
main()
{
@@ -200,4 +212,5 @@ main()
test02();
static_assert(test03());
test04();
+ test05();
}
More information about the Libstdc++-cvs
mailing list