From: Anatol Belski <ab@php.net>
Date: Thu, 2 Jun 2016 17:42:50 +0000 (+0200)
Subject: fix dangling pointer, phpdbg reveals it
X-Git-Tag: php-7.1.0alpha1~38
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=4b2fb0b4aecfb33a0f33d09af77527652e7fc43b;p=php

fix dangling pointer, phpdbg reveals it
---

diff --git a/Zend/zend_string.c b/Zend/zend_string.c
index 3da95bd674..4e7bcfc9fc 100644
--- 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)