Fixed use-after-free

diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c
index 4117b48baffb77bb7676c11aae1f568f532a9a76..7606351a0f8e6581cdea0fb1487c9b55be719ce2 100644 (file)
--- a/Zend/zend_execute_API.c
+++ b/Zend/zend_execute_API.c
@@ -359,6 +359,7 @@ void shutdown_executor(void) /* {{{ */
                                        if (ht) {
                                                ZEND_ASSERT(GC_REFCOUNT(ht) == 1);
                                                zend_array_destroy(ht);
+                                               ZEND_MAP_PTR_SET(op_array->static_variables_ptr, NULL);
                                        }
                                }
                        } ZEND_HASH_FOREACH_END();
@@ -390,6 +391,7 @@ void shutdown_executor(void) /* {{{ */
                                                                if (ht) {
                                                                        ZEND_ASSERT(GC_REFCOUNT(ht) == 1);
                                                                        zend_array_destroy(ht);
+                                                                       ZEND_MAP_PTR_SET(op_array->static_variables_ptr, NULL);
                                                                }
                                                        }
                                                }