bpo-29941: Assert fixes (#886)
Make a non-Py_DEBUG, asserts-enabled build of CPython possible. This means
making sure helper functions are defined when NDEBUG is not defined, not
just when Py_DEBUG is defined.
Also fix a division-by-zero in obmalloc.c that went unnoticed because in Py_DEBUG mode, elsize is never zero.
diff --git a/Objects/dictobject.c b/Objects/dictobject.c
index aac7ac4..2543118 100644
--- a/Objects/dictobject.c
+++ b/Objects/dictobject.c
@@ -437,7 +437,7 @@
/* #define DEBUG_PYDICT */
-#ifdef Py_DEBUG
+#ifndef NDEBUG
static int
_PyDict_CheckConsistency(PyDictObject *mp)
{
diff --git a/Objects/obmalloc.c b/Objects/obmalloc.c
index a1142f3..f284d9f 100644
--- a/Objects/obmalloc.c
+++ b/Objects/obmalloc.c
@@ -1227,6 +1227,9 @@
_Py_AllocatedBlocks++;
+ if (nelem == 0 || elsize == 0)
+ goto redirect;
+
assert(nelem <= PY_SSIZE_T_MAX / elsize);
nbytes = nelem * elsize;
@@ -1237,9 +1240,6 @@
goto redirect;
#endif
- if (nelem == 0 || elsize == 0)
- goto redirect;
-
if ((nbytes - 1) < SMALL_REQUEST_THRESHOLD) {
LOCK();
/*
diff --git a/Objects/typeobject.c b/Objects/typeobject.c
index 64a72d2..4a9949e 100644
--- a/Objects/typeobject.c
+++ b/Objects/typeobject.c
@@ -128,7 +128,7 @@
return NULL;
}
-#ifdef Py_DEBUG
+#ifndef NDEBUG
static int
_PyType_CheckConsistency(PyTypeObject *type)
{