__Unwind_Resume should be marked __noreturn

[WeiN76LQh]

Version and Platform (required):

• Binary Ninja Version: 4.3.6541-dev (2a7e8df1)
• OS: macOS
• OS Version: 15.1.1
• CPU Architecture: M1

Bug Description:
Binary Ninja believes that control flow can return from __Unwind_Resume, which is not the case. This results in Binary Ninja thinking execution continues to the line after __Unwind_Resume, which can sometimes be the start of a function. This creates confusing and bloated decompilation output.

Expected Behavior:
__Unwind_Resume should be marked __noreturn so that it doesn't fall through to whatever code comes after the call.

Additional Information:
This issue occurs when working with Mach-O binaries, I'm unsure if it extends to other binary types because I assume the type information is coming from a Mach-O specific type library.