»Runtime Library
»Python Bindings
»Known Issues
Shellcode Compiler
A custom shellcode compiler for Binary Ninja
void example_function(void) __noreturn;

The __noreturn modifier can be placed immediately after a function type declaration to specify that a function can never return. For example, the exit function is marked with __noreturn.

It is not necessary for functions that call __noreturn functions such as exit to explicitly specify that they cannot return. The compiler will automatically determine that such functions are __noreturn. This attribute is usually only necessary with functions that issue system calls that cause the process to exit, or to transition to a new codebase (such as execve).

See also