php/archived-php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2026-04-28 10:43:30 +02:00
Code Issues Packages Projects Releases Wiki Activity

Mark zend_timeout as noreturn

Browse Source 
Otherwise we get a compiler warning...
This commit is contained in:
Nikita Popov
2016-04-21 23:35:51 +02:00
parent a5944f8dd5
commit 89fbce5c5f
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Zend/zend_execute.h
+1 -1
View File
@@ -288,7 +288,7 @@ ZEND_API zend_bool zend_is_executing(void);
ZEND_API void zend_set_timeout(zend_long seconds, int reset_signals);
ZEND_API void zend_unset_timeout(void);
ZEND_API void zend_timeout(int dummy);
ZEND_API ZEND_NORETURN void zend_timeout(int dummy);
ZEND_API zend_class_entry *zend_fetch_class(zend_string *class_name, int fetch_type);
ZEND_API zend_class_entry *zend_fetch_class_by_name(zend_string *class_name, const zval *key, int fetch_type);
void zend_verify_abstract_class(zend_class_entry *ce);
Zend/zend_execute_API.c
+1 -1
View File
@@ -1186,7 +1186,7 @@ ZEND_API int zend_eval_string_ex(char *str, zval *retval_ptr, char *string_name,
static void zend_set_timeout_ex(zend_long seconds, int reset_signals);
ZEND_API void zend_timeout(int dummy) /* {{{ */
ZEND_API ZEND_NORETURN void zend_timeout(int dummy) /* {{{ */
{
EG(timed_out) = 0;
zend_set_timeout_ex(0, 1);