From 42b25dd61ff3593795c4cc2ffe876ab766098b24 Mon Sep 17 00:00:00 2001
From: Victor Stinner <vstinner@python.org>
Date: Wed, 12 Jun 2024 15:27:07 +0200
Subject: gh-120155: Add assertion to sre.c match_getindex() (#120402)

Add an assertion to help static analyzers to detect that i*2 cannot
overflow.
---
 Modules/_sre/sre.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Modules/_sre/sre.c b/Modules/_sre/sre.c
index e330340..0c656b4 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;
 }
 
-- 
cgit v0.12