mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
Use zend_error_noreturn() for fatal errors
This commit is contained in:
parent
ac470ddf1c
commit
acfc31c0f8
18 changed files with 68 additions and 68 deletions
|
@ -117,7 +117,7 @@ ZEND_API void zend_objects_destroy_object(zend_object *object)
|
|||
old_exception = NULL;
|
||||
if (EG(exception)) {
|
||||
if (EG(exception) == object) {
|
||||
zend_error(E_ERROR, "Attempt to destruct pending exception");
|
||||
zend_error_noreturn(E_ERROR, "Attempt to destruct pending exception");
|
||||
} else {
|
||||
old_exception = EG(exception);
|
||||
EG(exception) = NULL;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue