Statements: Improve metadata.

Author: lcartey

c/misra/src/rules/RULE-16-4/EverySwitchShallHaveDefaultLabel.ql

@@ -1,10 +1,12 @@
 /**
  * @id c/misra/every-switch-shall-have-default-label
  * @name RULE-16-4: Every switch statement shall have a default label
- * @description The requirement for a default label is defensive programming.
+ * @description A default label that has no statements or a comment explaining why this is correct
+ *              indicates a missing implementation that may result in unexpected behavior when the
+ *              default case is executed.
  * @kind problem
  * @precision very-high
- * @problem.severity error
+ * @problem.severity warning
  * @tags external/misra/id/rule-16-4
  *       maintainability
  *       readability

c/misra/src/rules/RULE-16-5/DefaultNotFirstOrLastOfSwitch.ql

@@ -1,7 +1,7 @@
 /**
  * @id c/misra/default-not-first-or-last-of-switch
  * @name RULE-16-5: A default label shall appear as either the first or the last switch label or a switch statement
- * @description Locating the default label is easy when it the first of last label.
+ * @description Locating the default label is easier when it is the first or last label.
  * @kind problem
  * @precision very-high
  * @problem.severity recommendation

rule_packages/c/Statements1.json

@@ -47,11 +47,11 @@
       },
       "queries": [
         {
-          "description": "The requirement for a default label is defensive programming.",
+          "description": "A default label that has no statements or a comment explaining why this is correct indicates a missing implementation that may result in unexpected behavior when the default case is executed.",
           "kind": "problem",
           "name": "Every switch statement shall have a default label",
           "precision": "very-high",
-          "severity": "error",
+          "severity": "warning",
           "short_name": "EverySwitchShallHaveDefaultLabel",
           "tags": [
             "maintainability",
@@ -67,7 +67,7 @@
       },
       "queries": [
         {
-          "description": "Locating the default label is easy when it the first of last label.",
+          "description": "Locating the default label is easier when it is the first or last label.",
           "kind": "problem",
           "name": "A default label shall appear as either the first or the last switch label or a switch statement",
           "precision": "very-high",
@@ -79,4 +79,4 @@
       "title": "A default label shall appear as either the first or the last switch label of a switch statement"
     }
   }
-}
+}