From: Alexey Izbyshev <izbyshev@ispras.ru>
Date: Thu, 23 Aug 2018 07:50:52 +0000 (+0300)
Subject: bpo-34436: Fix check that disables overallocation for the last fmt specifier (GH... 
X-Git-Tag: v3.8.0a1~1180
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=ccd99752675042bd5f67d332c5b0ed85ba1f2da3;p=thirdparty%2FPython%2Fcpython.git

bpo-34436: Fix check that disables overallocation for the last fmt specifier (GH-8826)

Reported by Svace static analyzer.
---

diff --git a/Objects/bytesobject.c b/Objects/bytesobject.c
index 648b2a591516..fb344c1896ad 100644
--- a/Objects/bytesobject.c
+++ b/Objects/bytesobject.c
@@ -819,8 +819,8 @@ _PyBytes_FormatEx(const char *format, Py_ssize_t format_len,
             if (v == NULL)
                 goto error;
 
-            if (fmtcnt < 0) {
-                /* last writer: disable writer overallocation */
+            if (fmtcnt == 0) {
+                /* last write: disable writer overallocation */
                 writer.overallocate = 0;
             }
 
@@ -1048,7 +1048,7 @@ _PyBytes_FormatEx(const char *format, Py_ssize_t format_len,
 
         /* If overallocation was disabled, ensure that it was the last
            write. Otherwise, we missed an optimization */
-        assert(writer.overallocate || fmtcnt < 0 || use_bytearray);
+        assert(writer.overallocate || fmtcnt == 0 || use_bytearray);
     } /* until end */
 
     if (argidx < arglen && !dict) {