diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-08-28 17:36:31 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-08-28 17:36:31 +0200 |
| commit | ad661375e86bb301eb25d0138054722d89d7d7b4 (patch) | |
| tree | 95193e51c8cca1c554bb883f7a62a1d30b44b31f /Zend/zend_execute_API.c | |
| parent | 0201a858d0b9db656cd690c592c1f9570702b45b (diff) | |
| parent | f912445eb21c74403e3e7a827cc14094c66fefd6 (diff) | |
| download | php-git-ad661375e86bb301eb25d0138054722d89d7d7b4.tar.gz | |
Merge branch 'PHP-7.4'
Diffstat (limited to 'Zend/zend_execute_API.c')
| -rw-r--r-- | Zend/zend_execute_API.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index ac95aa5cc3..7bc830da2b 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -305,7 +305,7 @@ void shutdown_executor(void) /* {{{ */ if (op_array->static_variables) { HashTable *ht = ZEND_MAP_PTR_GET(op_array->static_variables_ptr); if (ht) { - if (GC_DELREF(ht) == 0) { + if (!(GC_FLAGS(ht) & IS_ARRAY_IMMUTABLE) && GC_DELREF(ht) == 0) { zend_array_destroy(ht); } ZEND_MAP_PTR_SET(op_array->static_variables_ptr, NULL); |