From 89fbce5c5ff4990a1ec2fb8fde06f802a707aa5f Mon Sep 17 00:00:00 2001
From: Nikita Popov <nikic@php.net>
Date: Thu, 21 Apr 2016 23:35:51 +0200
Subject: Mark zend_timeout as noreturn

Otherwise we get a compiler warning...
---
 Zend/zend_execute_API.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Zend/zend_execute_API.c')

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);
-- 
cgit v1.2.1