- Fixed bug #53515 (property_exists incorrect on ArrayObject null and 0 values)

diff --git a/ext/spl/spl_array.c b/ext/spl/spl_array.c
index 22b105b09ec899a54f4e52a9ab23685d900a116c..e060baf6749f9724f98ab56275cdda5f9f4bfa19 100755 (executable)
--- a/ext/spl/spl_array.c
+++ b/ext/spl/spl_array.c
@@ -569,8 +569,15 @@ static int spl_array_has_dimension_ex(int check_inherited, zval *object, zval *o
        switch(Z_TYPE_P(offset)) {
        case IS_STRING:
                if (check_empty) {
-                       if (zend_symtable_find(spl_array_get_hash_table(intern, 0 TSRMLS_CC), Z_STRVAL_P(offset), Z_STRLEN_P(offset)+1, (void **) &tmp) != FAILURE && zend_is_true(*tmp)) {
-                               return 1;
+                       if (zend_symtable_find(spl_array_get_hash_table(intern, 0 TSRMLS_CC), Z_STRVAL_P(offset), Z_STRLEN_P(offset)+1, (void **) &tmp) != FAILURE) {
+                               switch (check_empty) {
+                                       case 0:
+                                               return Z_TYPE_PP(tmp) != IS_NULL;
+                                       case 2:
+                                               return 1;
+                                       default:
+                                               return zend_is_true(*tmp);
+                               }
                        }
                        return 0;
                } else {
@@ -587,8 +594,15 @@ static int spl_array_has_dimension_ex(int check_inherited, zval *object, zval *o
                }
                if (check_empty) {
                        HashTable *ht = spl_array_get_hash_table(intern, 0 TSRMLS_CC);
-                       if (zend_hash_index_find(ht, index, (void **)&tmp) != FAILURE && zend_is_true(*tmp)) {
-                               return 1;
+                       if (zend_hash_index_find(ht, index, (void **)&tmp) != FAILURE) {
+                               switch (check_empty) {
+                                       case 0:
+                                               return Z_TYPE_PP(tmp) != IS_NULL;
+                                       case 2:
+                                               return 1;
+                                       default:
+                                               return zend_is_true(*tmp);
+                               }
                        }
                        return 0;
                } else {

diff --git a/ext/spl/tests/bug53515.phpt b/ext/spl/tests/bug53515.phpt
new file mode 100644 (file)
index 0000000..f99840e
--- /dev/null
+++ b/ext/spl/tests/bug53515.phpt
@@ -0,0 +1,27 @@
+--TEST--
+Bug #53515 (property_exists incorrect on ArrayObject null and 0 values)
+--FILE--
+<?php
+
+$a = array('a' => 1, 'b'=> true, 'c' => 0, 'd' => null, 'e' => false, 'f' => array());
+$o = new ArrayObject($a, ArrayObject::ARRAY_AS_PROPS);
+
+$a['z'] = '';
+$a[''] = '';
+
+foreach ($a as $key => $value) {
+ echo $key . ': ' . (is_null($value) ? 'null' : $value) . 
+    ' array_key_exists: ' . (array_key_exists($key, $a) ? 'true' : 'false') . 
+    ' property_exists: ' . (property_exists($o, $key) ? 'true' : 'false'),"\n";
+}
+
+?>
+--EXPECT--
+a: 1 array_key_exists: true property_exists: true
+b: 1 array_key_exists: true property_exists: true
+c: 0 array_key_exists: true property_exists: true
+d: null array_key_exists: true property_exists: true
+e:  array_key_exists: true property_exists: true
+f: Array array_key_exists: true property_exists: true
+z:  array_key_exists: true property_exists: false
+:  array_key_exists: true property_exists: false