Add one more assert that indirectly interlocking conditions are consistent

with each other.

diff --git a/Objects/obmalloc.c b/Objects/obmalloc.c
index 019aa5bf214005b99d75de6401e1d2af2e020eb7..cf2b477d1c4adf916dc782b239e216116d7901ce 100644 (file)
--- a/Objects/obmalloc.c
+++ b/Objects/obmalloc.c
@@ -686,6 +686,7 @@ _PyMalloc_Free(void *p)
                 * was full and is in no list -- it's not in the freeblocks
                 * list in any case).
                 */
+               assert(pool->ref.count > 0);    /* else it was empty */
                *(block **)p = lastfree = pool->freeblock;
                pool->freeblock = (block *)p;
                if (lastfree) {