Re-add dropped query in json

Author: MichaelRFairhurst

cpp/common/src/codingstandards/cpp/exclusions/cpp/Undefined.qll

@@ -11,7 +11,8 @@ newtype UndefinedQuery =
   TPossibleDataRaceBetweenThreadsQuery() or
   TDivisionByZeroUndefinedBehaviorQuery() or
   TDeallocationTypeMismatchQuery() or
-  TStringLiteralPossiblyModifiedAuditQuery()
+  TStringLiteralPossiblyModifiedAuditQuery() or
+  TOutOfRangeEnumCastCriticalUnspecifiedBehaviorQuery()
 
 predicate isUndefinedQueryMetadata(Query query, string queryId, string ruleId, string category) {
   query =
@@ -85,6 +86,15 @@ predicate isUndefinedQueryMetadata(Query query, string queryId, string ruleId, s
     "cpp/misra/string-literal-possibly-modified-audit" and
   ruleId = "RULE-4-1-3" and
   category = "required"
+  or
+  query =
+    // `Query` instance for the `outOfRangeEnumCastCriticalUnspecifiedBehavior` query
+    UndefinedPackage::outOfRangeEnumCastCriticalUnspecifiedBehaviorQuery() and
+  queryId =
+    // `@id` for the `outOfRangeEnumCastCriticalUnspecifiedBehavior` query
+    "cpp/misra/out-of-range-enum-cast-critical-unspecified-behavior" and
+  ruleId = "RULE-4-1-3" and
+  category = "required"
 }
 
 module UndefinedPackage {
@@ -143,4 +153,11 @@ module UndefinedPackage {
       // `Query` type for `stringLiteralPossiblyModifiedAudit` query
       TQueryCPP(TUndefinedPackageQuery(TStringLiteralPossiblyModifiedAuditQuery()))
   }
+
+  Query outOfRangeEnumCastCriticalUnspecifiedBehaviorQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `outOfRangeEnumCastCriticalUnspecifiedBehavior` query
+      TQueryCPP(TUndefinedPackageQuery(TOutOfRangeEnumCastCriticalUnspecifiedBehaviorQuery()))
+  }
 }

rule_packages/cpp/Undefined.json

@@ -109,6 +109,19 @@
             "scope/system",
             "external/misra/audit"
           ]
+        },
+        {
+          "description": "Casting to an enumeration value outside the range of the enumeration's values results in critical unspecified behavior.",
+          "kind": "problem",
+          "name": "Out-of-range enumeration cast leads to critical unspecified behavior",
+          "precision": "high",
+          "severity": "error",
+          "shared_implementation_short_name": "DoNotCastToAnOutOfRangeEnumerationValueShared",
+          "short_name": "OutOfRangeEnumCastCriticalUnspecifiedBehavior",
+          "tags": [
+            "correctness",
+            "scope/system"
+          ]
         }
       ],
       "title": "There shall be no occurrence of undefined or critical unspecified behaviour"