var_push_dtor     868 ext/session/session.c 		var_push_dtor(&var_hash, &session_vars);
var_push_dtor    1782 ext/spl/spl_array.c 	var_push_dtor(&var_hash, &pflags);
var_push_dtor    1806 ext/spl/spl_array.c 		var_push_dtor(&var_hash, &intern->array);
var_push_dtor    1825 ext/spl/spl_array.c 	var_push_dtor(&var_hash, &pmembers);
var_push_dtor    1210 ext/spl/spl_dllist.c 	var_push_dtor(&var_hash, &flags);
var_push_dtor    1222 ext/spl/spl_dllist.c 		var_push_dtor(&var_hash, &elem);
var_push_dtor     841 ext/spl/spl_observer.c 	var_push_dtor(&var_hash, &pcount);
var_push_dtor     862 ext/spl/spl_observer.c 		var_push_dtor(&var_hash, &pentry);
var_push_dtor     874 ext/spl/spl_observer.c 			var_push_dtor(&var_hash, &pinf);
var_push_dtor     887 ext/spl/spl_observer.c 				var_push_dtor(&var_hash, &pelement->inf);
var_push_dtor     890 ext/spl/spl_observer.c 				var_push_dtor(&var_hash, &pelement->obj);
var_push_dtor     915 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     984 ext/standard/var.c 		var_push_dtor(&var_hash, &return_value);
var_push_dtor     334 ext/standard/var_unserializer.c 					var_push_dtor(var_hash, old_data);
var_push_dtor     340 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, old_data);
var_push_dtor     354 ext/standard/var_unserializer.c 		var_push_dtor(var_hash, &data);