github
diff --git a/‎amendments.csv
Copy file name to clipboardExpand all lines: amendments.csv
+1-1Lines changed: 1 addition & 1 deletion b/‎amendments.csv
Copy file name to clipboardExpand all lines: amendments.csv
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎cpp/common/src/codingstandards/cpp/Emergent.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/Emergent.qll
+18Lines changed: 18 additions & 0 deletions b/‎cpp/common/src/codingstandards/cpp/Emergent.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/Emergent.qll
+18Lines changed: 18 additions & 0 deletions
@@ -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
 
@@ -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