diff options
| -rw-r--r-- | Zend/zend_objects.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Zend/zend_objects.c b/Zend/zend_objects.c index e3efb26ddc..eb76887a9d 100644 --- a/Zend/zend_objects.c +++ b/Zend/zend_objects.c @@ -49,7 +49,8 @@ ZEND_API void zend_object_std_dtor(zend_object *object) if (object->properties) { if (EXPECTED(!(GC_FLAGS(object->properties) & IS_ARRAY_IMMUTABLE))) { - if (EXPECTED(GC_DELREF(object->properties) == 0)) { + if (EXPECTED(GC_DELREF(object->properties) == 0) + && EXPECTED(GC_TYPE(object->properties) != IS_NULL)) { zend_array_destroy(object->properties); } } |