var_push_dtor    1768 ext/spl/spl_array.c 	var_push_dtor(&var_hash, &pflags);
var_push_dtor    1792 ext/spl/spl_array.c 		var_push_dtor(&var_hash, &intern->array);
var_push_dtor    1811 ext/spl/spl_array.c 	var_push_dtor(&var_hash, &pmembers);
var_push_dtor    1211 ext/spl/spl_dllist.c 	var_push_dtor(&var_hash, &flags);
var_push_dtor     825 ext/spl/spl_observer.c 	var_push_dtor(&var_hash, &pcount);
var_push_dtor     869 ext/spl/spl_observer.c 				var_push_dtor(&var_hash, &pelement->inf);
var_push_dtor     872 ext/spl/spl_observer.c 				var_push_dtor(&var_hash, &pelement->obj);
var_push_dtor     897 ext/spl/spl_observer.c 	var_push_dtor(&var_hash, &pmembers);
var_push_dtor     117 ext/standard/php_var.h PHPAPI void var_push_dtor(php_unserialize_data_t *var_hash, zval **val);
var_push_dtor     329 ext/standard/var_unserializer.c 					var_push_dtor(var_hash, old_data);
var_push_dtor     335 ext/standard/var_unserializer.c 					var_push_dtor(var_hash, old_data);
var_push_dtor     344 ext/standard/var_unserializer.c 				var_push_dtor(var_hash, old_data);
var_push_dtor     349 ext/standard/var_unserializer.c 		var_push_dtor(var_hash, &data);