From: Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com>
Date: Wed, 12 Jun 2024 14:07:36 +0000 (+0200)
Subject: [3.13] gh-120155: Add assertion to sre.c match_getindex() (GH-120402) (#120409)
X-Git-Tag: v3.13.0b3~126
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e04809299fc1a5f0ff0b567173439cb0b6f8e907;p=thirdparty%2FPython%2Fcpython.git

[3.13] gh-120155: Add assertion to sre.c match_getindex() (GH-120402) (#120409)

gh-120155: Add assertion to sre.c match_getindex() (GH-120402)

Add an assertion to help static analyzers to detect that i*2 cannot
overflow.
(cherry picked from commit 42b25dd61ff3593795c4cc2ffe876ab766098b24)

Co-authored-by: Victor Stinner <vstinner@python.org>
---

diff --git a/Modules/_sre/sre.c b/Modules/_sre/sre.c
index e33034086481..0c656b47991c 100644
--- a/Modules/_sre/sre.c
+++ b/Modules/_sre/sre.c
@@ -2217,6 +2217,8 @@ match_getindex(MatchObject* self, PyObject* index)
         return -1;
     }
 
+    // Check that i*2 cannot overflow to make static analyzers happy
+    assert(i <= SRE_MAXGROUPS);
     return i;
 }