fix dangling pointer, phpdbg reveals it

diff --git a/Zend/zend_string.c b/Zend/zend_string.c
index 3da95bd67449098378a3dcc4205e2581da5de16f..4e7bcfc9fcd896c7b7bc850e989fad48e09d0c31 100644 (file)
--- a/Zend/zend_string.c
+++ b/Zend/zend_string.c
@@ -122,6 +122,8 @@ void zend_interned_strings_dtor(void)
        free(CG(known_strings));
        CG(known_strings) = NULL;
        CG(known_strings_count) = 0;
+       known_interned_strings = NULL;
+       known_interned_strings_count = 0;
 }
 
 static zend_string *zend_new_interned_string_int(zend_string *str)