Revert deletion of stdatomic, threads, as emergent lanugage features

Author: MichaelRFairhurst

amendments.csv

@@ -24,7 +24,7 @@ c,MISRA-C-2012,Amendment4,RULE-8-9,Yes,Clarification,Yes,Import
 c,MISRA-C-2012,Amendment4,RULE-9-4,Yes,Clarification,Yes,Import
 c,MISRA-C-2012,Amendment4,RULE-10-1,Yes,Clarification,Yes,Import
 c,MISRA-C-2012,Amendment4,RULE-18-3,Yes,Clarification,Yes,Import
-c,MISRA-C-2012,Amendment4,RULE-1-4,Yes,Replace,Yes,Easy
+c,MISRA-C-2012,Amendment4,RULE-1-4,Yes,Replace,No,Easy
 c,MISRA-C-2012,Amendment4,RULE-9-1,Yes,Refine,No,Easy
 c,MISRA-C-2012,Amendment4,RULE-9-2,Yes,Refine,No,Import
 c,MISRA-C-2012,Corrigendum2,DIR-4-10,Yes,Clarification,Yes,Import

cpp/common/src/codingstandards/cpp/Emergent.qll

@@ -6,6 +6,24 @@ import cpp
 module C11 {
   abstract class EmergentLanguageFeature extends Element { }
 
+  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() = ["stdatomic.h", "threads.h"] }
+  }
+
   class LibExt1Macro extends EmergentLanguageFeature, Macro {
     LibExt1Macro() {
       getName() = "__STDC_WANT_LIB_EXT1__" and