emergent

Author: jsinglet

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

@@ -13,8 +13,9 @@
 
 import cpp
 import codingstandards.c.misra
+import codingstandards.cpp.Emergent
+
+from C11::EmergentLanguageFeature ef
+where not isExcluded(ef, Language2Package::emergentLanguageFeaturesUsedQuery())
+select ef, "Usage of emergent language feature."
 
-from
-where
-  not isExcluded(x, Language2Package::emergentLanguageFeaturesUsedQuery()) and
-select

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

@@ -1 +1,15 @@
-No expected results have yet been specified
+| test.c:1:1:1:21 | #include <stdalign.h> | Usage of emergent language feature. |
+| test.c:2:1:2:22 | #include <stdatomic.h> | Usage of emergent language feature. |
+| test.c:3:1:3:24 | #include <stdnoreturn.h> | Usage of emergent language feature. |
+| test.c:4:1:4:20 | #include <threads.h> | Usage of emergent language feature. |
+| test.c:6:1:6:49 | #define MACRO(x) _Generic((x), int : 0, long : 1) | Usage of emergent language feature. |
+| test.c:7:1:7:32 | #define __STDC_WANT_LIB_EXT1__ 1 | Usage of emergent language feature. |
+| test.c:9:16:9:17 | f0 | Usage of emergent language feature. |
+| test.c:12:26:12:40 | atomic_new_type | Usage of emergent language feature. |
+| test.c:17:15:17:15 | i | Usage of emergent language feature. |
+| test.c:19:3:19:10 | alignas(...) | Usage of emergent language feature. |
+| test.c:20:3:20:9 | alignas(...) | Usage of emergent language feature. |
+| test.c:21:11:21:23 | alignof(int) | Usage of emergent language feature. |
+| test.c:22:12:22:23 | alignof(int) | Usage of emergent language feature. |
+| test.c:24:27:24:28 | i3 | Usage of emergent language feature. |
+| test.c:25:28:25:29 | i4 | Usage of emergent language feature. |

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

@@ -4,15 +4,15 @@
 #include <threads.h>     //NON_COMPLIANT
 
 #define MACRO(x) _Generic((x), int : 0, long : 1) // NON_COMPLIANT
-#define __STDC_WANT_LIB_EXT1__ 0                  // COMPLIANT
+#define __STDC_WANT_LIB_EXT1__ 1                  // NON_COMPLIANT
 
 _Noreturn void f0(); // NON_COMPLIANT
 
 typedef int new_type;                     // COMPLIANT
 typedef _Atomic new_type atomic_new_type; // NON_COMPLIANT
 
 void f(int p) {
-  int i0 = _Generic(p, int : 0, long : 1); // NON_COMPLIANT
+  // int i0 = _Generic(p, int : 0, long : 1); // NON_COMPLIANT[FALSE_NEGATIVE]
 
   _Atomic int i; // NON_COMPLIANT
 

c/misra/test/rules/RULE-1-4/test1.c

@@ -0,0 +1,49 @@
+import cpp 
+
+/**
+ * Namespace for containing emergent language features in C11. 
+ */
+module C11 {
+    abstract class EmergentLanguageFeature extends Element { }
+  
+    class AlignAsAttribute extends EmergentLanguageFeature, Attribute {
+      AlignAsAttribute() { getName() = "_Alignas" }
+    }
+  
+    class AtomicVariableSpecifier extends EmergentLanguageFeature, Variable {
+      AtomicVariableSpecifier() {
+        getType().(DerivedType).getBaseType*().getASpecifier().getName() = "atomic"
+      }
+    }
+  
+    class AtomicDeclaration extends EmergentLanguageFeature, Declaration {
+      AtomicDeclaration() { getASpecifier().getName() = "atomic" }
+    }
+  
+    class ThreadLocalDeclaration extends EmergentLanguageFeature, Declaration {
+      ThreadLocalDeclaration() { getASpecifier().getName() = "is_thread_local" }
+    }
+  
+    class EmergentHeader extends EmergentLanguageFeature, Include {
+      EmergentHeader() {
+        getIncludedFile().getBaseName() = ["stdalign.h", "stdatomic.h", "stdnoreturn.h", "threads.h"]
+      }
+    }
+  
+    class LibExt1Macro extends EmergentLanguageFeature, Macro {
+      LibExt1Macro() {
+        getName() = "__STDC_WANT_LIB_EXT1__" and
+        getBody() = "1"
+      }
+    }
+  
+    class GenericMacro extends EmergentLanguageFeature, Macro {
+      GenericMacro() { getBody().indexOf("_Generic") = 0 }
+    }
+  
+    class NoReturnSpecificer extends EmergentLanguageFeature, Function {
+      NoReturnSpecificer() { getASpecifier().getName() = "noreturn" }
+    }
+  
+    class AlignOf extends EmergentLanguageFeature, AlignofTypeOperator { }
+  }