Synopsis

(Advisory) A function that never returns should be declared with a _Noreturn function specifier.

Enabled by default

No

Severity/Certainty

Low/Medium

Full description

Found a function expected to have _Noreturn function specifier.

Coding standards

Code examples

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

#include <stdint.h>

typedef int32_t (*pfn_i)(void);
extern int32_t func1 ( void ); /* Note: A function */
pfn_i pfn2 = func1; /* Non-compliant */

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

#include <stdint.h>

typedef int32_t (*pfn_i)(void);
extern int32_t func1 ( void ); /* Note: A function */
pfn_i pfn1 = &func1; /* Compliant */