Taking global exception for Rule 17.11

Author: tony-josi-aws

MISRA.md

@@ -228,13 +228,3 @@ _Ref 21.6.1_
   The function `snprintf` is used to insert information in a logging string.
   This is only used in a utility function which aids in debugging and is not
   part of the 'core' code governing the functionality of the TCP/IP stack.
-
-#### Rule 17.11
-
-_Ref 17.11_
-
-- MISRA C-2012 Rule 17.11 advises that functions that never returns should be 
-declared with a _Noreturn function specifier. However, in this case, `_Noreturn`
-is added by C standard as part of C11 and the FreeRTOS+TCP codebase is compatible
-with C90. This is a false positive as the Coverity is also run with C90 
-as the standard. 

source/FreeRTOS_IP.c

@@ -208,10 +208,7 @@ static BaseType_t xIPTaskInitialised = pdFALSE;
 
 /* MISRA Ref 8.13.1 [Not decorating a pointer to const parameter with const] */
 /* More details at: https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/MISRA.md#rule-813 */
-/* MISRA Ref 17.11 [A function that never returns should be declared with a _Noreturn function specifier] */
-/* More details at: https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/MISRA.md#rule-1711 */
 /* coverity[misra_c_2012_rule_8_13_violation] */
-/* coverity[misra_c_2012_rule_17_11_violation] */
 static void prvIPTask( void * pvParameters )
 {
     /* Just to prevent compiler warnings about unused parameters. */

test/Coverity/coverity_misra.config

@@ -42,6 +42,10 @@
             deviation: "Rule 2.4",
             reason: "Similar to the FreeRTOS Kernel, structures are always declared with both a struct tag and typedef alias. Some of these structs are always referred to by their typedef alias and thus the corresponding tags are unused."
         },
+        {
+            deviation: "Rule 17.11",
+            reason: "_Noreturn is added by C standard as part of C11 and the FreeRTOS+TCP codebase is compatible with C90. This is a false positive as the Coverity is also run with C90 as the standard. "
+        },
         {
             deviation: "Directive 4.8",
             reason: "We include lots of header files from other sources such as the kernel which defines structures that violate that Dir"