mirror of
https://github.com/php/php-src.git
synced 2026-03-26 17:22:15 +01:00
To be clear, these already don't return. zend_error_noreturn just hints at this fact through the ZEND_NORETURN attribute. Closes GH-12204
157 KiB
157 KiB