From: Victor Stinner <vstinner@redhat.com>
Date: Mon, 9 Sep 2019 15:44:59 +0000 (+0200)
Subject: bpo-38070: visit_decref() calls _PyObject_IsFreed() (GH-15782)
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=d91d4de31745fc1ed4c7e6c208917827c9c472b6;p=python

bpo-38070: visit_decref() calls _PyObject_IsFreed() (GH-15782)

In debug mode, visit_decref() now calls _PyObject_IsFreed() to ensure
that the object is not freed. If it's freed, the program fails with
an assertion error and Python dumps informations about the freed
object.
---

diff --git a/Modules/gcmodule.c b/Modules/gcmodule.c
index 134f6d168c..f6e841d52f 100644
--- a/Modules/gcmodule.c
+++ b/Modules/gcmodule.c
@@ -376,6 +376,8 @@ static int
 visit_decref(PyObject *op, void *data)
 {
     assert(op != NULL);
+    _PyObject_ASSERT(op, !_PyObject_IsFreed(op));
+
     if (PyObject_IS_GC(op)) {
         PyGC_Head *gc = AS_GC(op);
         /* We're only interested in gc_refs for objects in the