_Noreturn function specifier
Specifies that the function does not return to its point of invocation.
Syntax
_Noreturn function_declaration | (since C11)(deprecated in C23) | ||||||||
Explanation
The _Noreturn
keyword appears in a function declaration and specifies that the function does not return by executing the return statement or by reaching the end of the function body (it may return by executing longjmp). If the function declared _Noreturn
returns, the behavior is undefined. A compiler diagnostic is recommended if this can be detected.
The _Noreturn
specifier may appear more than once in the same function declaration, the behavior is the same as if it appeared once.
This specifier is typically used through the convenience macro noreturn, which is provided in the header <stdnoreturn.h>
.
The macro |
(since C23) |
Keywords
Standard library
The following functions are noreturn
in the standard library:
Example
#include <stdio.h> #include <stdlib.h> #include <stdnoreturn.h> // causes undefined behavior if i <= 0 // exits if i > 0 noreturn void exit_now(int i) // or _Noreturn void exit_now(int i) { if (i > 0) exit(i); } int main(void) { puts("Preparing to exit..."); exit_now(2); puts("This code is never executed."); }
Output:
Preparing to exit...
References
- C23 standard (ISO/IEC 9899:2024):
- 6.7.4 Function specifiers (p: TBD)
- 7.23 _Noreturn <stdnoreturn.h> (p: TBD)
- C17 standard (ISO/IEC 9899:2018):
- 6.7.4 Function specifiers (p: 90-91)
- 7.23 _Noreturn <stdnoreturn.h> (p: 263)
- C11 standard (ISO/IEC 9899:2011):
- 6.7.4 Function specifiers (p: 125-127)
- 7.23 _Noreturn <stdnoreturn.h> (p: 361)
See also
[[noreturn]] (C23)[[_Noreturn]] (C23)(deprecated)
|
indicates that the function does not return (attribute specifier) |
C++ documentation for
[[noreturn]] |