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

small integers (0 or 1 digit)

diff --git a/Objects/longobject.c b/Objects/longobject.c
index a894ec5a642327ac38d42154f8f6984cfddf39fa..925e55a138bd8ff9f1da035dd050d085f0e665b5 100644 (file)
--- 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))