longobject.c: add an assertion to ensure that MEDIUM_VALUE() is only called on

small integers (0 or 1 digit)

longobject.c: add an assertion to ensure that MEDIUM_VALUE() is only called on
small integers (0 or 1 digit)
08a80b11 · Victor Stinner · 8aed6f1c · 08a80b11
Commit 08a80b11 authored Jul 17, 2013 by Victor Stinner
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

Objects/longobject.c Objects/longobject.c +2 -1

No files found.
--- a/Objects/longobject.c
+++ b/Objects/longobject.c
@@ -17,7 +17,8 @@
 #endif

 /* convert a PyLong of size 1, 0 or -1 to an sdigit */
-#define MEDIUM_VALUE(x) (Py_SIZE(x) < 0 ? -(sdigit)(x)->ob_digit[0] :   \
+#define MEDIUM_VALUE(x) (assert(-1 <= Py_SIZE(x) && Py_SIZE(x) <= 1),   \
+         Py_SIZE(x) < 0 ? -(sdigit)(x)->ob_digit[0] :   \
             (Py_SIZE(x) == 0 ? (sdigit)0 :                             \
              (sdigit)(x)->ob_digit[0]))
 #define ABS(x) ((x) < 0 ? -(x) : (x))