libstdc++: check length in string append [PR103534]
authorJason Merrill <jason@redhat.com>
Fri, 10 Dec 2021 16:21:50 +0000 (11:21 -0500)
committerJason Merrill <jason@redhat.com>
Sat, 11 Dec 2021 04:58:13 +0000 (23:58 -0500)
In the testcase for 103534 we get a warning about append leading to memcpy
of a very large number of bytes overflowing the buffer.  This turns out to
be because we weren't calling _M_check_length for string append.  Rather
than do that directly, let's go through the public pointer append that calls
it.

PR c++/103534

libstdc++-v3/ChangeLog:

* include/bits/basic_string.h (append (basic_string)): Call pointer
append instead of _M_append directly.

gcc/testsuite/ChangeLog:

* g++.dg/warn/Wstringop-overflow-8.C: New test.

gcc/testsuite/g++.dg/warn/Wstringop-overflow-8.C [new file with mode: 0644]
libstdc++-v3/include/bits/basic_string.h

diff --git a/gcc/testsuite/g++.dg/warn/Wstringop-overflow-8.C b/gcc/testsuite/g++.dg/warn/Wstringop-overflow-8.C
new file mode 100644 (file)
index 0000000..d0ef5e7
--- /dev/null
@@ -0,0 +1,10 @@
+// PR c++/103534
+// { dg-additional-options "-O -Wall" }
+
+#include <string>
+
+std::string foo(std::string x)
+{
+  // This used to get a bogus -Wstringop-overflow warning.
+  return std::string("1234567890123456") + x;
+}
index 4007a8d..3da2f80 100644 (file)
@@ -1382,7 +1382,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CXX11
       _GLIBCXX20_CONSTEXPR
       basic_string&
       append(const basic_string& __str)
-      { return _M_append(__str._M_data(), __str.size()); }
+      { return this->append(__str._M_data(), __str.size()); }
 
       /**
        *  @brief  Append a substring.
@@ -1400,9 +1400,9 @@ _GLIBCXX_BEGIN_NAMESPACE_CXX11
       _GLIBCXX20_CONSTEXPR
       basic_string&
       append(const basic_string& __str, size_type __pos, size_type __n = npos)
-      { return _M_append(__str._M_data()
-                        + __str._M_check(__pos, "basic_string::append"),
-                        __str._M_limit(__pos, __n)); }
+      { return this->append(__str._M_data()
+                           + __str._M_check(__pos, "basic_string::append"),
+                           __str._M_limit(__pos, __n)); }
 
       /**
        *  @brief  Append a C substring.