diff options
| author | Nikita Popov <nikic@php.net> | 2016-04-21 23:35:51 +0200 |
|---|---|---|
| committer | Nikita Popov <nikic@php.net> | 2016-04-21 23:35:51 +0200 |
| commit | 89fbce5c5ff4990a1ec2fb8fde06f802a707aa5f (patch) | |
| tree | c334eed2971791c2a3ee8c02a938e0b2aaa6c221 /Zend/zend_execute_API.c | |
| parent | a5944f8dd5c45a95bb0cfdea52dd2301fab1f39c (diff) | |
| download | php-git-89fbce5c5ff4990a1ec2fb8fde06f802a707aa5f.tar.gz | |
Mark zend_timeout as noreturn
Otherwise we get a compiler warning...
Diffstat (limited to 'Zend/zend_execute_API.c')
| -rw-r--r-- | Zend/zend_execute_API.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index 99cc601950..f1abd801d1 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -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); |