Checks: Added new MISRA04_14.2: All non-null statements shall either (a) have at least one side-effect however executed, or (b) cause control flow to change [autosync]

Author: github-actions[bot]

CodeCheck/clang/misra.json

@@ -752,6 +752,25 @@
     }
   },
 
+  "MISRA04_15.4": {
+    "tags": ["Language: C", "Standard: MISRA C 2004", "Category: Required", "Control Flow"],
+    "key": "switch-bool",
+    "name": "Published Standards/MISRA-C 2004/15.4 A switch expression shall not represent a value that is effectively Boolean",
+    "test": "CPP_CF000",
+    "desc": {
+      "html": [
+        "<p><b>Title</b></p>",
+        "<p>A switch expression shall not represent a value that is effectively Boolean.</p>",
+        "<p><b>Rationale</b></p>",
+        "<p>See “Boolean expressions” in the glossary.</p>",
+        "<p><b>Example</b></p>",
+        "<pre><code language=\"C\">switch (x == 0)   /* not compliant - effectively Boolean */",
+        "{",
+        "...</code></pre>"
+      ]
+    }
+  },
+
   "MISRA04_16.8": {
     "tags": ["Language: C", "Standard: MISRA C 2004", "Category: Required", "Functions"],
     "keys": ["return-mismatch", "return-type"],