Rule 2.1 deviation permit?

[dg1980]

Typically, on embedded systems with a simple RTOS, main is used as background task, so it never returns:

Code:

int main(void)
{
  Setup_Rtos();
  for (;;)
  {
    Background_Task();
  }
  return 0;// Violates MISRA C 2012 2.1: unreachable code
}

Would this be a candidate for your deviation permits document?

[misra-c]

Thank you for your suggestion for a deviation permit.

[misra-c]

Technical Corrigendum 2 to MISRA C:2012 has added the following exception to rule 17.4.

For C99 and later, The Standard specifies that if control reaches the end of main without encountering a return statement, the effect is that of executing return 0. Therefore, for C99 and later, the return statement may be omitted for function main.

Omitting the return statement will remove the violation of rule 2.1