Mark zend_timeout as noreturn

Otherwise we get a compiler warning...

diff --git a/Zend/zend_execute.h b/Zend/zend_execute.h
index b2163c7d25be81df76a29502521039669be7e088..05f0e9a95666ab9cae4857246e78e726df491d40 100644 (file)
--- a/Zend/zend_execute.h
+++ b/Zend/zend_execute.h
@@ -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);

diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c
index 99cc601950115bfa68bb7c62b9a3717dc73e6f3b..f1abd801d1c147e72712ec045dac19a458aae2b5 100644 (file)
--- 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);