libstdc++: Fix-self element self-assigments when inserting an empty range [PR121313]

For __n == 0, the elements were self move-assigned by
std::move_backward(__ins, __old_finish - __n, __old_finish).

	PR libstdc++/121313

libstdc++-v3/ChangeLog:

	* include/bits/vector.tcc (vector::insert_range): Add check for
	empty size.
	* testsuite/23_containers/vector/modifiers/insert/insert_range.cc:
	New tests.

diff --git a/libstdc++-v3/include/bits/vector.tcc b/libstdc++-v3/include/bits/vector.tcc
index 70ead1d70836dc4fb20e619cd44adbe14605ebad..dd3d3c6fd65e42688c73100e36aeb48aaaa2b0d3 100644 (file)
--- a/libstdc++-v3/include/bits/vector.tcc
+++ b/libstdc++-v3/include/bits/vector.tcc
@@ -1007,15 +1007,18 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
 
        if constexpr (ranges::forward_range<_Rg>)
          {
+           const auto __ins_idx = __pos - cbegin();
+           // Number of new elements to insert:
+           const auto __n = size_type(ranges::distance(__rg));
+           if (__n == 0)
+             return begin() + __ins_idx;
+
            // Start of existing elements:
            pointer __old_start = this->_M_impl._M_start;
            // End of existing elements:
            pointer __old_finish = this->_M_impl._M_finish;
            // Insertion point:
-           const auto __ins_idx = __pos - cbegin();
            pointer __ins = __old_start + __ins_idx;
-           // Number of new elements to insert:
-           const auto __n = size_type(ranges::distance(__rg));
            // Number of elements that can fit in unused capacity:
            const auto __cap = this->_M_impl._M_end_of_storage - __old_finish;
            if (__cap >= __n)

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 506bebbe519eea1c856cde0f90dd1fec28d9500b..e4b5982188f6c3a4a76c83d959058e441642d93c 100644 (file)
--- a/libstdc++-v3/testsuite/23_containers/vector/modifiers/insert/insert_range.cc
+++ b/libstdc++-v3/testsuite/23_containers/vector/modifiers/insert/insert_range.cc
@@ -99,8 +99,58 @@ test_ranges()
   return true;
 }
 
+struct SelfAssignChecker {
+  static int moveCounter;
+  static int copyCounter;
+
+  SelfAssignChecker() = default;
+  constexpr SelfAssignChecker(int v) : val(v) { }
+  SelfAssignChecker(const SelfAssignChecker&) = default;
+  SelfAssignChecker(SelfAssignChecker&&) = default;
+
+  SelfAssignChecker operator=(const SelfAssignChecker& rhs)
+  {
+    if (this == &rhs)
+      ++copyCounter;
+    this->val = rhs.val;
+    return *this;
+  }
+
+  SelfAssignChecker operator=(SelfAssignChecker&& rhs)
+  {
+    if (this == &rhs)
+      ++moveCounter;
+    this->val = rhs.val;
+    return *this;
+  }
+
+  int val;
+
+  friend bool operator==(SelfAssignChecker, SelfAssignChecker) = default;
+};
+
+int SelfAssignChecker::moveCounter = 0;
+int SelfAssignChecker::copyCounter = 0;
+
+void
+test_pr121313()
+{
+  using namespace __gnu_test;
+
+  SelfAssignChecker::copyCounter = SelfAssignChecker::moveCounter = 0;
+  do_test<test_forward_range<int>, std::allocator<SelfAssignChecker>>();
+  VERIFY( SelfAssignChecker::moveCounter == 0 );
+  VERIFY( SelfAssignChecker::copyCounter == 0 );
+
+  SelfAssignChecker::copyCounter = SelfAssignChecker::moveCounter = 0;
+  do_test<test_input_range<int>, std::allocator<SelfAssignChecker>>();
+  VERIFY( SelfAssignChecker::moveCounter == 0 );
+  VERIFY( SelfAssignChecker::copyCounter == 0 );
+}
+
 int main()
 {
   test_ranges();
+  test_pr121313();
   static_assert( test_ranges() );
 }