[3.13] gh-120155: Fix Coverity issue in parse_string() (GH-120997) (#121005)

miss-islington · vstinner · web-flow · commit 571cefd8c793 · 2024-06-25T19:40:05.000+02:00
gh-120155: Fix Coverity issue in parse_string() (GH-120997) (cherry picked from commit 769aea3) Co-authored-by: Victor Stinner <vstinner@python.org>
diff --git a/Parser/string_parser.c b/Parser/string_parser.c
@@ -229,9 +229,14 @@ _PyPegen_parse_string(Parser *p, Token *t)
         PyErr_BadInternalCall();
         return NULL;
     }
+
     /* Skip the leading quote char. */
     s++;
     len = strlen(s);
+    // gh-120155: 's' contains at least the trailing quote,
+    // so the code '--len' below is safe.
+    assert(len >= 1);
+
     if (len > INT_MAX) {
         PyErr_SetString(PyExc_OverflowError, "string to parse is too long");
         return NULL;
