adding 1-4

Author: jsinglet

c/misra/src/rules/RULE-1-4/EmergentLanguageFeaturesUsed.ql

@@ -0,0 +1,20 @@
+/**
+ * @id c/misra/emergent-language-features-used
+ * @name RULE-1-4: Emergent language features shall not be used
+ * @description Emergent language features may have unpredictable behavior and should not be used.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-1-4
+ *       maintainability
+ *       readability
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.c.misra
+
+from
+where
+  not isExcluded(x, Language2Package::emergentLanguageFeaturesUsedQuery()) and
+select

c/misra/test/rules/RULE-1-4/EmergentLanguageFeaturesUsed.expected

@@ -0,0 +1 @@
+No expected results have yet been specified

c/misra/test/rules/RULE-1-4/EmergentLanguageFeaturesUsed.qlref

@@ -0,0 +1 @@
+rules/RULE-1-4/EmergentLanguageFeaturesUsed.ql

cpp/common/src/codingstandards/cpp/exclusions/c/Language2.qll

@@ -6,7 +6,6 @@ import codingstandards.cpp.exclusions.RuleMetadata
 newtype Language2Query =
   TUsageOfAssemblyLanguageShouldBeDocumentedQuery() or
   TLanguageExtensionsShouldNotBeUsedQuery() or
-  TCriticalUnspecifiedBehaviourQuery() or
   TEmergentLanguageFeaturesUsedQuery()
 
 predicate isLanguage2QueryMetadata(Query query, string queryId, string ruleId) {
@@ -26,14 +25,6 @@ predicate isLanguage2QueryMetadata(Query query, string queryId, string ruleId) {
     "c/misra/language-extensions-should-not-be-used" and
   ruleId = "RULE-1-2"
   or
-  query =
-    // `Query` instance for the `criticalUnspecifiedBehaviour` query
-    Language2Package::criticalUnspecifiedBehaviourQuery() and
-  queryId =
-    // `@id` for the `criticalUnspecifiedBehaviour` query
-    "c/misra/critical-unspecified-behaviour" and
-  ruleId = "RULE-1-3"
-  or
   query =
     // `Query` instance for the `emergentLanguageFeaturesUsed` query
     Language2Package::emergentLanguageFeaturesUsedQuery() and
@@ -58,13 +49,6 @@ module Language2Package {
       TQueryC(TLanguage2PackageQuery(TLanguageExtensionsShouldNotBeUsedQuery()))
   }
 
-  Query criticalUnspecifiedBehaviourQuery() {
-    //autogenerate `Query` type
-    result =
-      // `Query` type for `criticalUnspecifiedBehaviour` query
-      TQueryC(TLanguage2PackageQuery(TCriticalUnspecifiedBehaviourQuery()))
-  }
-
   Query emergentLanguageFeaturesUsedQuery() {
     //autogenerate `Query` type
     result =