diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-04-15 10:49:44 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-04-15 11:01:12 +0200 |
commit | 90435637756fb8c473938853bc6d3ecfa9f2eeff (patch) | |
tree | 9f5b22fb9b04e009e929658e1f3f1e313dd32a86 /Zend/zend_list.h | |
parent | e15409b43cacf711608189c299191f2969ea331c (diff) | |
download | php-git-90435637756fb8c473938853bc6d3ecfa9f2eeff.tar.gz |
Make zend_list_free return void
And assert that the refcount is zero. This function should only
be used internally as the resource destructor.
Diffstat (limited to 'Zend/zend_list.h')
-rw-r--r-- | Zend/zend_list.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend_list.h b/Zend/zend_list.h index b9a1d5e159..92fdd3d417 100644 --- a/Zend/zend_list.h +++ b/Zend/zend_list.h @@ -53,7 +53,7 @@ int zend_init_rsrc_list_dtors(void); void zend_destroy_rsrc_list_dtors(void); ZEND_API zval* ZEND_FASTCALL zend_list_insert(void *ptr, int type); -ZEND_API int ZEND_FASTCALL zend_list_free(zend_resource *res); +ZEND_API void ZEND_FASTCALL zend_list_free(zend_resource *res); ZEND_API int ZEND_FASTCALL zend_list_delete(zend_resource *res); ZEND_API int ZEND_FASTCALL zend_list_close(zend_resource *res); |