https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123995
--- Comment #1 from Iain Buclaw <ibuclaw at gcc dot gnu.org> --- The libcall is still typed `void`, even though `typeof(*null)` (aka noreturn) has existed in the language for some time now. All libcall functions that are marked ECF_NORETURN should have their return type updated to be noreturn as well.
