Unicorn with delicious cookie
Our website uses cookies to enhance your browsing experience.
Accept
to the top
>
>
>
V2637. MISRA. A 'noreturn' function sho…
menu mobile close menu
Analyzer diagnostics
General Analysis (C++)
General Analysis (C#)
General Analysis (Java)
Micro-Optimizations (C++)
Diagnosis of 64-bit errors (Viva64, C++)
Customer specific requests (C++)
MISRA errors
AUTOSAR errors
OWASP errors (C++)
OWASP errors (C#)
OWASP errors (Java)
Problems related to code analyzer
Additional information
toggle menu Contents

V2637. MISRA. A 'noreturn' function should have 'void' return type.

Apr 04 2025

This diagnostic rule is based on the MISRA (Motor Industry Software Reliability Association) software development guidelines.

This diagnostic rule is relevant only for C.

A function declared with the _Noreturn specifier (C11) or the [[noreturn]] attribute (C23) must not return control flow to the calling function, otherwise the behavior is undefined. So, it cannot return any value after being called, and it must be of the void return type.

The analyzer issues a warning when it detects a noreturn function having a return type other than void. This code is suspicious and may indicate a typo or design error.

The code example where the analyzer issues a warning:

_Noreturn int sum(int a, int b) // _Noreturn is a typo
{
  return a + b; // undefined behavior
}

In this case, a developer accidentally added the _Noreturn specifier. To remove the analyzer warning, delete the redundant specifier:

int sum(int a, int b)
{
  return a + b;
}

This diagnostic is classified as:

  • MISRA-C-17.10
close form

Fill out the form in 2 simple steps below:

Your contact information:

Step 1
Congratulations! This is your promo code!

Desired license type:

Step 2
Team license
Enterprise license
** By clicking this button you agree to our Privacy Policy statement
close form
Request our prices
New License
License Renewal
--Select currency--
USD
EUR
* By clicking this button you agree to our Privacy Policy statement

close form
Free PVS‑Studio license for Microsoft MVP specialists
* By clicking this button you agree to our Privacy Policy statement

close form
To get the licence for your open-source project, please fill out this form
* By clicking this button you agree to our Privacy Policy statement

close form
I want to join the test
* By clicking this button you agree to our Privacy Policy statement

close form
check circle
Message submitted.

Your message has been sent. We will email you at


If you do not see the email in your inbox, please check if it is filtered to one of the following folders:

  • Promotion
  • Updates
  • Spam