diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-12 10:41:53 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-12 10:41:53 +0200 |
| commit | ce408504d5bc1b73fa43c8a2af9f21bdb3f0c5e4 (patch) | |
| tree | 0a315ebadfce5d96b178dab199ac7549e73d4556 /Zend | |
| parent | 1ef5b79b6be380c133b21fd17b39a9aef4cccae6 (diff) | |
| download | php-git-ce408504d5bc1b73fa43c8a2af9f21bdb3f0c5e4.tar.gz | |
Mark zend_bailout() as a noreturn function
Diffstat (limited to 'Zend')
| -rw-r--r-- | Zend/zend.c | 2 | ||||
| -rw-r--r-- | Zend/zend.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Zend/zend.c b/Zend/zend.c index 36f47ee08f..5670dae703 100644 --- a/Zend/zend.c +++ b/Zend/zend.c @@ -1097,7 +1097,7 @@ ZEND_COLD void zenderror(const char *error) /* {{{ */ /* }}} */ BEGIN_EXTERN_C() -ZEND_API ZEND_COLD void _zend_bailout(const char *filename, uint32_t lineno) /* {{{ */ +ZEND_API ZEND_COLD ZEND_NORETURN void _zend_bailout(const char *filename, uint32_t lineno) /* {{{ */ { if (!EG(bailout)) { diff --git a/Zend/zend.h b/Zend/zend.h index 86b10ea58e..6b8c1d0be4 100644 --- a/Zend/zend.h +++ b/Zend/zend.h @@ -232,7 +232,7 @@ void zend_register_standard_ini_entries(void); int zend_post_startup(void); void zend_set_utility_values(zend_utility_values *utility_values); -ZEND_API ZEND_COLD void _zend_bailout(const char *filename, uint32_t lineno); +ZEND_API ZEND_COLD ZEND_NORETURN void _zend_bailout(const char *filename, uint32_t lineno); ZEND_API size_t zend_vspprintf(char **pbuf, size_t max_len, const char *format, va_list ap); ZEND_API size_t zend_spprintf(char **message, size_t max_len, const char *format, ...) ZEND_ATTRIBUTE_FORMAT(printf, 3, 4); |