bpo-39824: module_traverse() don't call m_traverse if md_state=NULL (GH-18738)

Extension modules: m_traverse, m_clear and m_free functions of
PyModuleDef are no longer called if the module state was requested
but is not allocated yet. This is the case immediately after the
module is created and before the module is executed (Py_mod_exec
function). More precisely, these functions are not called if m_size is
greater than 0 and the module state (as returned by
PyModule_GetState()) is NULL.

Extension modules without module state (m_size <= 0) are not affected.

Co-Authored-By: Petr Viktorin <encukou@gmail.com>

1 files changed, 2 insertions, 6 deletions

diff --git a/Modules/audioop.c b/Modules/audioop.c
index 467bd6362a..64cf98137c 100644
--- a/Modules/audioop.c
+++ b/Modules/audioop.c
@@ -1926,9 +1926,7 @@ static int
 audioop_traverse(PyObject *module, visitproc visit, void *arg)
 {
     audioop_state *state = (audioop_state *)PyModule_GetState(module);
-    if (state) {
-        Py_VISIT(state->AudioopError);
-    }
+    Py_VISIT(state->AudioopError);
     return 0;
 }
 
@@ -1936,9 +1934,7 @@ static int
 audioop_clear(PyObject *module)
 {
     audioop_state *state = (audioop_state *)PyModule_GetState(module);
-    if (state) {
-        Py_CLEAR(state->AudioopError);
-    }
+    Py_CLEAR(state->AudioopError);
     return 0;
 }