Merge branch 'PHP-7.3' into PHP-7.4

nikic · nikic · commit bdf3fa8c3e17 · 2019-08-13T09:54:44.000+02:00
diff --git 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);
 			}
 		}

Original file line number	Diff line number	Diff line change
`@@ -49,7 +49,8 @@ ZEND_API void zend_object_std_dtor(zend_object *object)`
`49`	`49`
`50`	`50`	`if (object->properties) {`
`51`	`51`	`if (EXPECTED(!(GC_FLAGS(object->properties) & IS_ARRAY_IMMUTABLE))) {`
`52`		`- if (EXPECTED(GC_DELREF(object->properties) == 0)) {`
	`52`	`+ if (EXPECTED(GC_DELREF(object->properties) == 0)`
	`53`	`+ && EXPECTED(GC_TYPE(object->properties) != IS_NULL)) {`
`53`	`54`	`zend_array_destroy(object->properties);`
`54`	`55`	`}`
`55`	`56`	`}`