Synopsis

(Mandatory) A function declared with a _Noreturn function specifier shall not return to its caller.

Enabled by default

No

Severity/Certainty

Low/High

Full description

A function with a _Noreturn function specifier returns. This check is identical to MISRAC++2023-9.6.4.

Coding standards

Code examples

The following code example fails the check and will give a warning:

_Noreturn void a ( void ) { return; } /* Non-compliant  */

The following code example passes the check and will not give a warning about this issue:

_Noreturn void c ( void ) { abort(); } /* Compliant - no return from abort(). */