pythongh-120155: Add assertion to sre.c match_getindex()

Add an assertion to help static analyzers to detect that i*2 cannot overflow.
vstinner · Jun 12, 2024 · 2d2c3ec · 2d2c3ec
1 parent 97b69db
commit 2d2c3ec
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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;
 }