mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-03-25 01:30:44 +08:00
libstdc++: Fix LWG issues 3389 and 3390
libstdc++-v3/ChangeLog: LWG 3389 and LWG 3390 * include/bits/stl_iterator.h (move_move_iterator): Use std::move when constructing the move_iterator with __i. (counted_iterator::counted_iterator): Use std::move when initializing M_current with __i. * testsuite/24_iterators/counted_iterator/lwg3389.cc: New test. * testsuite/24_iterators/move_iterator/lwg3390.cc: New test.
This commit is contained in:
parent
02ce382cd3
commit
99bbab9f77
@ -1,3 +1,13 @@
|
||||
2020-02-12 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
LWG 3389 and LWG 3390
|
||||
* include/bits/stl_iterator.h (move_move_iterator): Use std::move when
|
||||
constructing the move_iterator with __i.
|
||||
(counted_iterator::counted_iterator): Use std::move when initializing
|
||||
M_current with __i.
|
||||
* testsuite/24_iterators/counted_iterator/lwg3389.cc: New test.
|
||||
* testsuite/24_iterators/move_iterator/lwg3390.cc: New test.
|
||||
|
||||
2020-02-12 Sandra Loosemore <sandra@codesourcery.com>
|
||||
|
||||
PR libstdc++/79193
|
||||
|
@ -1375,7 +1375,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
|
||||
template<typename _Iterator>
|
||||
inline _GLIBCXX17_CONSTEXPR move_iterator<_Iterator>
|
||||
make_move_iterator(_Iterator __i)
|
||||
{ return move_iterator<_Iterator>(__i); }
|
||||
{ return move_iterator<_Iterator>(std::move(__i)); }
|
||||
|
||||
template<typename _Iterator, typename _ReturnType
|
||||
= typename conditional<__move_if_noexcept_cond
|
||||
@ -1782,7 +1782,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
|
||||
|
||||
constexpr
|
||||
counted_iterator(_It __i, iter_difference_t<_It> __n)
|
||||
: _M_current(__i), _M_length(__n)
|
||||
: _M_current(std::move(__i)), _M_length(__n)
|
||||
{ __glibcxx_assert(__n >= 0); }
|
||||
|
||||
template<typename _It2>
|
||||
|
@ -0,0 +1,66 @@
|
||||
// Copyright (C) 2020 Free Software Foundation, Inc.
|
||||
//
|
||||
// This file is part of the GNU ISO C++ Library. This library is free
|
||||
// software; you can redistribute it and/or modify it under the
|
||||
// terms of the GNU General Public License as published by the
|
||||
// Free Software Foundation; either version 3, or (at your option)
|
||||
// any later version.
|
||||
|
||||
// This library is distributed in the hope that it will be useful,
|
||||
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||
// GNU General Public License for more details.
|
||||
|
||||
// You should have received a copy of the GNU General Public License along
|
||||
// with this library; see the file COPYING3. If not see
|
||||
// <http://www.gnu.org/licenses/>.
|
||||
|
||||
// { dg-options "-std=gnu++2a" }
|
||||
// { dg-do compile { target c++2a } }
|
||||
|
||||
#include <iterator>
|
||||
|
||||
#include <testsuite_iterators.h>
|
||||
|
||||
using __gnu_test::test_range;
|
||||
using __gnu_test::input_iterator_wrapper;
|
||||
|
||||
template<typename T>
|
||||
struct move_only_wrapper : input_iterator_wrapper<T>
|
||||
{
|
||||
using input_iterator_wrapper<T>::input_iterator_wrapper;
|
||||
|
||||
move_only_wrapper()
|
||||
: input_iterator_wrapper<T>(nullptr, nullptr)
|
||||
{ }
|
||||
|
||||
move_only_wrapper(const move_only_wrapper&) = delete;
|
||||
move_only_wrapper&
|
||||
operator=(const move_only_wrapper&) = delete;
|
||||
|
||||
move_only_wrapper(move_only_wrapper&&) = default;
|
||||
move_only_wrapper&
|
||||
operator=(move_only_wrapper&&) = default;
|
||||
|
||||
using input_iterator_wrapper<T>::operator++;
|
||||
|
||||
move_only_wrapper&
|
||||
operator++()
|
||||
{
|
||||
input_iterator_wrapper<T>::operator++();
|
||||
return *this;
|
||||
}
|
||||
};
|
||||
|
||||
static_assert(std::input_iterator<move_only_wrapper<int>>);
|
||||
static_assert(!std::forward_iterator<move_only_wrapper<int>>);
|
||||
static_assert(!std::copyable<move_only_wrapper<int>>);
|
||||
|
||||
// LWG 3389
|
||||
void
|
||||
test01()
|
||||
{
|
||||
int x[] = {1,2,3,4};
|
||||
test_range<int, move_only_wrapper> rx(x);
|
||||
auto it = std::counted_iterator(rx.begin(), 2);
|
||||
}
|
66
libstdc++-v3/testsuite/24_iterators/move_iterator/lwg3390.cc
Normal file
66
libstdc++-v3/testsuite/24_iterators/move_iterator/lwg3390.cc
Normal file
@ -0,0 +1,66 @@
|
||||
// Copyright (C) 2020 Free Software Foundation, Inc.
|
||||
//
|
||||
// This file is part of the GNU ISO C++ Library. This library is free
|
||||
// software; you can redistribute it and/or modify it under the
|
||||
// terms of the GNU General Public License as published by the
|
||||
// Free Software Foundation; either version 3, or (at your option)
|
||||
// any later version.
|
||||
|
||||
// This library is distributed in the hope that it will be useful,
|
||||
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||
// GNU General Public License for more details.
|
||||
|
||||
// You should have received a copy of the GNU General Public License along
|
||||
// with this library; see the file COPYING3. If not see
|
||||
// <http://www.gnu.org/licenses/>.
|
||||
|
||||
// { dg-options "-std=gnu++2a" }
|
||||
// { dg-do compile { target c++2a } }
|
||||
|
||||
#include <iterator>
|
||||
|
||||
#include <testsuite_iterators.h>
|
||||
|
||||
using __gnu_test::test_range;
|
||||
using __gnu_test::input_iterator_wrapper;
|
||||
|
||||
template<typename T>
|
||||
struct move_only_wrapper : input_iterator_wrapper<T>
|
||||
{
|
||||
using input_iterator_wrapper<T>::input_iterator_wrapper;
|
||||
|
||||
move_only_wrapper()
|
||||
: input_iterator_wrapper<T>(nullptr, nullptr)
|
||||
{ }
|
||||
|
||||
move_only_wrapper(const move_only_wrapper&) = delete;
|
||||
move_only_wrapper&
|
||||
operator=(const move_only_wrapper&) = delete;
|
||||
|
||||
move_only_wrapper(move_only_wrapper&&) = default;
|
||||
move_only_wrapper&
|
||||
operator=(move_only_wrapper&&) = default;
|
||||
|
||||
using input_iterator_wrapper<T>::operator++;
|
||||
|
||||
move_only_wrapper&
|
||||
operator++()
|
||||
{
|
||||
input_iterator_wrapper<T>::operator++();
|
||||
return *this;
|
||||
}
|
||||
};
|
||||
|
||||
static_assert(std::input_iterator<move_only_wrapper<int>>);
|
||||
static_assert(!std::forward_iterator<move_only_wrapper<int>>);
|
||||
static_assert(!std::copyable<move_only_wrapper<int>>);
|
||||
|
||||
// LWG 3390
|
||||
void
|
||||
test01()
|
||||
{
|
||||
int x[] = {1,2,3,4};
|
||||
test_range<int, move_only_wrapper> rx(x);
|
||||
auto it = std::make_move_iterator(rx.begin());
|
||||
}
|
Loading…
x
Reference in New Issue
Block a user