Apply SMP misra suppression

chinglee-iot · Oct 18, 2023 · efacfa5 · efacfa5
1 parent 697b11d
commit efacfa5
Showing 1 changed file with 25 additions and 20 deletions.
diff --git a/FreeRTOS/Test/Coverity/kernel_misra.config b/FreeRTOS/Test/Coverity/kernel_misra.config
@@ -22,22 +22,10 @@
             deviation: "Directive 4.6",
             reason: "Advisory rule"
         },
-        {
-            deviation: "Directive 4.8",
-            reason: "Advisory rule"
-        },
-        {
-            deviation: "Directive 4.9",
-            reason: "Advisory rule"
-        },
         {
             deviation: "Directive 4.13",
             reason: "Advisory rule"
         },
-        {
-            deviation: "Rule 1.2",
-            reason: "Advisory rule"
-        },
         {
             deviation: "Rule 2.3",
             reason: "Advisory rule"
@@ -66,10 +54,6 @@
             deviation: "Rule 5.9",
             reason: "Advisory rule"
         },
-        {
-            deviation: "Rule 8.7",
-            reason: "Advisory rule"
-        },
         {
             deviation: "Rule 8.9",
             reason: "Advisory rule"
@@ -90,10 +74,6 @@
             deviation: "Rule 11.4",
             reason: "Advisory rule"
         },
-        {
-            deviation: "Rule 11.5",
-            reason: "Advisory rule"
-        },
         {
             deviation: "Rule 12.1",
             reason: "Advisory rule"
@@ -161,6 +141,31 @@
         {
             deviation: "Rule 21.12",
             reason: "Advisory rule"
+        },
+        // Disable the following rules.
+        {
+            deviation: "Directive 4.8",
+            reason: "HeapRegion_t and HeapStats_t are used only in heap files but declared in portable.h which is included in multiple source files. As a result, these definitions appear in multiple source files where they are not used."
+        },
+        {
+            deviation: "Directive 4.9",
+            reason: "FreeRTOS-Kernel is optimised to work on small micro-controllers. To achieve that, function-like macros are used."
+        },
+        {
+            deviation: "Rule 1.2",
+            reason: "The __attribute__ tags are used via macros which are defined in port files."
+        },
+        {
+            deviation: "Rule 3.1",
+            reason: "We post HTTP links in code comments which contain // inside comments blocks."
+        },
+        {
+            deviation: "Rule 8.7",
+            reason: "API functions are not used by the library outside of the files they are defined; however, they must be externally visible in order to be used by an application."
+        },
+        {
+            deviation: "Rule 11.5",
+            reason: "Allow casts from `void *`. List owner, pvOwner, is stored as `void *` and are cast to various types for use in functions."
         }
     ]
 }