Synopsis

(Required) A function declared with a _Noreturn function specifier shall have void return type.

Enabled by default

No

Severity/Certainty

Low/Medium

Full description

A function with a _Noreturn function specifier has non void return type.

Coding standards

Code examples

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

_Noreturn int  f ( void ) {}; /* Non-compliant */

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

_Noreturn void g ( void ) {}; /* Compliant */