In some cases we're wrongly returning an iterator pointing to (one past) the last element inserted instead of to the first element inserted.
libstdc++-v3/ChangeLog: * include/bits/stl_bvector.h (vector<bool>::insert_range): Consistently return an iterator pointing to the first element inserted. * include/bits/vector.tcc (vector::insert_range): Likewise. * testsuite/23_containers/vector/bool/modifiers/insert/insert_range.cc: Verify insert_range return values. * testsuite/23_containers/vector/modifiers/insert/insert_range.cc: Likewise. --- libstdc++-v3/include/bits/stl_bvector.h | 8 ++++---- libstdc++-v3/include/bits/vector.tcc | 3 ++- .../bool/modifiers/insert/insert_range.cc | 18 ++++++++++++------ .../vector/modifiers/insert/insert_range.cc | 18 ++++++++++++------ 4 files changed, 30 insertions(+), 17 deletions(-) diff --git a/libstdc++-v3/include/bits/stl_bvector.h b/libstdc++-v3/include/bits/stl_bvector.h index 961e4a25299..e5e4b7db5a9 100644 --- a/libstdc++-v3/include/bits/stl_bvector.h +++ b/libstdc++-v3/include/bits/stl_bvector.h @@ -1341,9 +1341,9 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER std::copy_backward(__pos._M_const_cast(), end(), this->_M_impl._M_finish + difference_type(__n)); - auto __i = ranges::copy(__rg, __pos._M_const_cast()).out; + ranges::copy(__rg, __pos._M_const_cast()).out; this->_M_impl._M_finish += difference_type(__n); - return __i; + return __pos._M_const_cast(); } else { @@ -1355,9 +1355,9 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER iterator __i = _M_copy_aligned(__begin, __pos._M_const_cast(), __start); - __i = ranges::copy(__rg, __i).out; + iterator __j = ranges::copy(__rg, __i).out; iterator __finish = std::copy(__pos._M_const_cast(), - __end, __i); + __end, __j); this->_M_deallocate(); this->_M_impl._M_end_of_storage = __q + _S_nword(__len); this->_M_impl._M_start = __start; diff --git a/libstdc++-v3/include/bits/vector.tcc b/libstdc++-v3/include/bits/vector.tcc index 4f4c366080b..acb2f5fca1e 100644 --- a/libstdc++-v3/include/bits/vector.tcc +++ b/libstdc++-v3/include/bits/vector.tcc @@ -984,8 +984,9 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER { if (__pos == cend()) { + const auto __ins_idx = size(); append_range(std::forward<_Rg>(__rg)); - return end(); + return begin() + __ins_idx; } if constexpr (ranges::forward_range<_Rg>) diff --git a/libstdc++-v3/testsuite/23_containers/vector/bool/modifiers/insert/insert_range.cc b/libstdc++-v3/testsuite/23_containers/vector/bool/modifiers/insert/insert_range.cc index 4f4835746ea..5c65610667d 100644 --- a/libstdc++-v3/testsuite/23_containers/vector/bool/modifiers/insert/insert_range.cc +++ b/libstdc++-v3/testsuite/23_containers/vector/bool/modifiers/insert/insert_range.cc @@ -35,16 +35,22 @@ do_test() VERIFY( eq(v, a) ); v.clear(); v.shrink_to_fit(); - v.insert_range(v.begin(), Range(a, a+3)); - v.insert_range(v.end(), Range(a+6, a+9)); - v.insert_range(v.begin()+3, Range(a+3, a+6)); + auto it = v.insert_range(v.begin(), Range(a, a+3)); + VERIFY( it == v.begin() ); + it = v.insert_range(v.end(), Range(a+6, a+9)); + VERIFY( it == v.begin()+3 ); + it = v.insert_range(v.begin()+3, Range(a+3, a+6)); + VERIFY( it == v.begin()+3 ); VERIFY( eq(v, a) ); v.resize(3); - v.insert_range(v.begin()+1, Range(a+4, a+9)); - v.insert_range(v.begin()+1, Range(a+1, a+4)); + it = v.insert_range(v.begin()+1, Range(a+4, a+9)); + VERIFY( it == v.begin()+1 ); + it = v.insert_range(v.begin()+1, Range(a+1, a+4)); + VERIFY( it == v.begin()+1 ); v.resize(9); VERIFY( eq(v, a) ); - v.insert_range(v.begin(), Range(a, a)); + it = v.insert_range(v.begin(), Range(a, a)); + VERIFY( it == v.begin() ); VERIFY( eq(v, a) ); } diff --git a/libstdc++-v3/testsuite/23_containers/vector/modifiers/insert/insert_range.cc b/libstdc++-v3/testsuite/23_containers/vector/modifiers/insert/insert_range.cc index 68218e94f28..59071435126 100644 --- a/libstdc++-v3/testsuite/23_containers/vector/modifiers/insert/insert_range.cc +++ b/libstdc++-v3/testsuite/23_containers/vector/modifiers/insert/insert_range.cc @@ -39,16 +39,22 @@ do_test() VERIFY( eq(v, a) ); v.clear(); v.shrink_to_fit(); - v.insert_range(v.begin(), Range(a, a+3)); - v.insert_range(v.end(), Range(a+6, a+9)); - v.insert_range(v.begin()+3, Range(a+3, a+6)); + auto it = v.insert_range(v.begin(), Range(a, a+3)); + VERIFY( it == v.begin() ); + it = v.insert_range(v.end(), Range(a+6, a+9)); + VERIFY( it == v.begin()+3 ); + it = v.insert_range(v.begin()+3, Range(a+3, a+6)); + VERIFY( it == v.begin()+3 ); VERIFY( eq(v, a) ); v.resize(3); - v.insert_range(v.begin()+1, Range(a+4, a+9)); - v.insert_range(v.begin()+1, Range(a+1, a+4)); + it = v.insert_range(v.begin()+1, Range(a+4, a+9)); + VERIFY( it == v.begin()+1 ); + it = v.insert_range(v.begin()+1, Range(a+1, a+4)); + VERIFY( it == v.begin()+1 ); v.resize(9); VERIFY( eq(v, a) ); - v.insert_range(v.begin() + 6, Range(a, a)); + it = v.insert_range(v.begin() + 6, Range(a, a)); + VERIFY( it == v.begin() + 6 ); VERIFY( eq(v, a) ); } -- 2.48.1.157.g3b0d05c4a7