diff --git a/c/common/src/codingstandards/c/TgMath.qll b/c/common/src/codingstandards/c/TgMath.qll
index 36c47fb5a2..8d68cd2574 100644
--- a/c/common/src/codingstandards/c/TgMath.qll
+++ b/c/common/src/codingstandards/c/TgMath.qll
@@ -1,21 +1,38 @@
 import cpp
 
-private string getATgMathMacroName(boolean allowComplex) {
+private string getATgMathMacroName(boolean allowComplex, int numberOfParameters) {
   allowComplex = true and
+  numberOfParameters = 1 and
   result =
     [
       "acos", "acosh", "asin", "asinh", "atan", "atanh", "carg", "cimag", "conj", "cos", "cosh",
-      "cproj", "creal", "exp", "fabs", "log", "pow", "sin", "sinh", "sqrt", "tan", "tanh"
+      "cproj", "creal", "exp", "fabs", "log", "sin", "sinh", "sqrt", "tan", "tanh"
+    ]
+  or
+  allowComplex = true and
+  numberOfParameters = 2 and
+  result = "pow"
+  or
+  allowComplex = false and
+  numberOfParameters = 1 and
+  result =
+    [
+      "cbrt", "ceil", "erf", "erfc", "exp2", "expm1", "floor", "ilogb", "lgamma", "llrint",
+      "llround", "log10", "log1p", "log2", "logb", "lrint", "lround", "nearbyint", "rint", "round",
+      "tgamma", "trunc",
     ]
   or
   allowComplex = false and
+  numberOfParameters = 2 and
   result =
     [
-      "atan2", "cbrt", "ceil", "copysign", "erf", "erfc", "exp2", "expm1", "fdim", "floor", "fma",
-      "fmax", "fmin", "fmod", "frexp", "hypot", "ilogb", "ldexp", "lgamma", "llrint", "llround",
-      "log10", "log1p", "log2", "logb", "lrint", "lround", "nearbyint", "nextafter", "nexttoward",
-      "remainder", "remquo", "rint", "round", "scalbn", "scalbln", "tgamma", "trunc",
+      "atan2", "copysign", "fdim", "fmax", "fmin", "fmod", "frexp", "hypot", "ldexp", "nextafter",
+      "nexttoward", "remainder", "scalbn", "scalbln"
     ]
+  or
+  allowComplex = false and
+  numberOfParameters = 3 and
+  result = ["fma", "remquo"]
 }
 
 private predicate hasOutputArgument(string macroName, int index) {
@@ -27,19 +44,41 @@ private predicate hasOutputArgument(string macroName, int index) {
 class TgMathInvocation extends MacroInvocation {
   Call call;
   boolean allowComplex;
+  int numberOfParameters;
 
   TgMathInvocation() {
-    this.getMacro().getName() = getATgMathMacroName(allowComplex) and
+    this.getMacro().getName() = getATgMathMacroName(allowComplex, numberOfParameters) and
     call = getBestCallInExpansion(this)
   }
 
+  /** Account for extra parameters added by gcc */
+  private int getParameterOffset() {
+    // Gcc calls look something like: `__builtin_tgmath(cosf, cosd, cosl, arg)`, in this example
+    // there is a parameter offset of 3, so `getOperandArgument(0)` is equivalent to
+    // `call.getArgument(3)`.
+    result = call.getNumberOfArguments() - numberOfParameters
+  }
+
   Expr getOperandArgument(int i) {
-    result = call.getArgument(i) and
-    not hasOutputArgument(call.getTarget().getName(), i)
+    i >= 0 and
+    result = call.getArgument(i + getParameterOffset()) and
+    //i in [0..numberOfParameters - 1] and
+    not hasOutputArgument(getMacro().getName(), i)
+  }
+
+  /** Get all explicit conversions, except those added by clang in the macro body */
+  Expr getExplicitlyConvertedOperandArgument(int i) {
+    exists(Expr explicitConv |
+      explicitConv = getOperandArgument(i).getExplicitlyConverted() and
+      // clang explicitly casts most arguments, but not some integer arguments such as in `scalbn`.
+      if call.getTarget().getName().matches("__tg_%") and explicitConv instanceof Conversion
+      then result = explicitConv.(Conversion).getExpr()
+      else result = explicitConv
+    )
   }
 
   int getNumberOfOperandArguments() {
-    result = call.getNumberOfArguments() - count(int i | hasOutputArgument(getMacroName(), i))
+    result = numberOfParameters - count(int i | hasOutputArgument(getMacroName(), i))
   }
 
   Expr getAnOperandArgument() { result = getOperandArgument(_) }
diff --git a/c/common/test/rules/functionnoreturnattributecondition/test.c b/c/common/test/rules/functionnoreturnattributecondition/test.c
index 1b0ba759e1..c13654a8e0 100644
--- a/c/common/test/rules/functionnoreturnattributecondition/test.c
+++ b/c/common/test/rules/functionnoreturnattributecondition/test.c
@@ -77,7 +77,7 @@ _Noreturn void test_noreturn_f10(int i) { // COMPLIANT
   case 4:
     thrd_exit(0);
     break;
-  default:
+  default:;
     jmp_buf jb;
     longjmp(jb, 0);
   }
diff --git a/c/misra/src/rules/RULE-13-2/UnsequencedAtomicReads.ql b/c/misra/src/rules/RULE-13-2/UnsequencedAtomicReads.ql
index b5e17fc934..86756668a8 100644
--- a/c/misra/src/rules/RULE-13-2/UnsequencedAtomicReads.ql
+++ b/c/misra/src/rules/RULE-13-2/UnsequencedAtomicReads.ql
@@ -17,6 +17,7 @@ import semmle.code.cpp.dataflow.TaintTracking
 import codingstandards.c.misra
 import codingstandards.c.Ordering
 import codingstandards.c.orderofevaluation.VariableAccessOrdering
+import codingstandards.cpp.StdFunctionOrMacro
 
 class AtomicAccessInFullExpressionOrdering extends Ordering::Configuration {
   AtomicAccessInFullExpressionOrdering() { this = "AtomicAccessInFullExpressionOrdering" }
@@ -24,8 +25,8 @@ class AtomicAccessInFullExpressionOrdering extends Ordering::Configuration {
   override predicate isCandidate(Expr e1, Expr e2) {
     exists(AtomicVariableAccess a, AtomicVariableAccess b, FullExpr e | a = e1 and b = e2 |
       a.getTarget() = b.getTarget() and
-      a.(ConstituentExpr).getFullExpr() = e and
-      b.(ConstituentExpr).getFullExpr() = e and
+      a.getARead().(ConstituentExpr).getFullExpr() = e and
+      b.getARead().(ConstituentExpr).getFullExpr() = e and
       not a = b
     )
   }
@@ -39,13 +40,32 @@ class AtomicAccessInFullExpressionOrdering extends Ordering::Configuration {
 class AtomicVariableAccess extends VariableAccess {
   AtomicVariableAccess() { getTarget().getType().hasSpecifier("atomic") }
 
-  /* Get the `atomic_<read|write>()` call this VarAccess occurs in. */
-  FunctionCall getAtomicFunctionCall() {
-    exists(AddressOfExpr addrParent, FunctionCall fc |
-      fc.getTarget().getName().matches("__c11_atomic%") and
+  /* Get the `atomic_load()` call this VarAccess occurs in. */
+  Expr getAtomicFunctionRead() {
+    exists(AddressOfExpr addrParent, AtomicReadOrWriteCall fc |
+      fc.getName().matches("atomic_load%") and
+      // StdFunctionOrMacro arguments are not necessarily reliable, so we look for any AddressOfExpr
+      // that is an argument to a call to `atomic_load`.
       addrParent = fc.getArgument(0) and
       addrParent.getAnOperand() = this and
-      result = fc
+      result = fc.getExpr()
+    )
+  }
+
+  /* Get the `atomic_store()` call this VarAccess occurs in. */
+  Expr getAtomicFunctionWrite(Expr storedValue) {
+    exists(AddressOfExpr addrParent, AtomicReadOrWriteCall fc |
+      addrParent = fc.getArgument(0) and
+      addrParent.getAnOperand() = this and
+      result = fc.getExpr() and
+      (
+        fc.getName().matches(["%store%", "%exchange%", "%fetch_%"]) and
+        not fc.getName().matches("%compare%") and
+        storedValue = fc.getArgument(1)
+        or
+        fc.getName().matches(["%compare%"]) and
+        storedValue = fc.getArgument(2)
+      )
     )
   }
 
@@ -53,7 +73,7 @@ class AtomicVariableAccess extends VariableAccess {
    * Gets an assigned expr, either in the form `x = <result>` or `atomic_store(&x, <result>)`.
    */
   Expr getAnAssignedExpr() {
-    result = getAtomicFunctionCall().getArgument(1)
+    exists(getAtomicFunctionWrite(result))
     or
     exists(AssignExpr assign |
       assign.getLValue() = this and
@@ -65,7 +85,7 @@ class AtomicVariableAccess extends VariableAccess {
    * Gets the expression holding this variable access, either in the form `x` or `atomic_read(&x)`.
    */
   Expr getARead() {
-    result = getAtomicFunctionCall()
+    result = getAtomicFunctionRead()
     or
     result = this
   }
@@ -73,11 +93,17 @@ class AtomicVariableAccess extends VariableAccess {
 
 from
   AtomicAccessInFullExpressionOrdering config, FullExpr e, Variable v, AtomicVariableAccess va1,
-  AtomicVariableAccess va2
+  AtomicVariableAccess va2, Expr va1Read, Expr va2Read
 where
   not isExcluded(e, SideEffects3Package::unsequencedAtomicReadsQuery()) and
-  e = va1.(ConstituentExpr).getFullExpr() and
-  config.isUnsequenced(va1, va2) and
+  va1Read = va1.getARead() and
+  va2Read = va2.getARead() and
+  e = va1Read.(ConstituentExpr).getFullExpr() and
+  // Careful here. The `VariableAccess` in a pair of atomic function calls may not be unsequenced,
+  // for instance in gcc where atomic functions expand to StmtExprs, which have clear sequences.
+  // In this case, the result of `getARead()` for a pair of atomic function calls may be
+  // unsequenced even though the `VariableAccess`es within those calls are not.
+  config.isUnsequenced(va1Read, va2Read) and
   v = va1.getTarget() and
   v = va2.getTarget() and
   // Exclude cases where the variable is assigned a value tainted by the other variable access.
diff --git a/c/misra/src/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.ql b/c/misra/src/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.ql
index 2105567d04..fc8565ade5 100644
--- a/c/misra/src/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.ql
+++ b/c/misra/src/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.ql
@@ -34,14 +34,19 @@ string getAllowedTypesString(TgMathInvocation call) {
   else result = "essentially signed, unsigned, or real floating type"
 }
 
-from TgMathInvocation call, Expr arg, int argIndex, Type type, EssentialTypeCategory category
+from
+  TgMathInvocation call, Expr convertedArg, Expr unconverted, int argIndex, Type type,
+  EssentialTypeCategory category
 where
   not isExcluded(call, EssentialTypes2Package::tgMathArgumentWithInvalidEssentialTypeQuery()) and
-  arg = call.getOperandArgument(argIndex) and
-  type = getEssentialType(arg) and
+  // We must handle conversions specially, as clang inserts casts in the macro body we want to ignore.
+  convertedArg = call.getExplicitlyConvertedOperandArgument(argIndex) and
+  unconverted = convertedArg.getUnconverted() and
+  // Do not use `convertedArg.getEssentialType()`, as that is affected by clang's casts in the macro body.
+  type = getEssentialTypeBeforeConversions(convertedArg) and
   category = getEssentialTypeCategory(type) and
   not category = getAnAllowedEssentialTypeCategory(call)
-select arg,
+select unconverted,
   "Argument " + (argIndex + 1) + " provided to type-generic macro '" + call.getMacroName() +
     "' has " + category.toString().toLowerCase() + ", which is not " + getAllowedTypesString(call) +
     "."
diff --git a/c/misra/src/rules/RULE-21-23/TgMathArgumentsWithDifferingStandardType.ql b/c/misra/src/rules/RULE-21-23/TgMathArgumentsWithDifferingStandardType.ql
index 81209c8565..34d3b62b2c 100644
--- a/c/misra/src/rules/RULE-21-23/TgMathArgumentsWithDifferingStandardType.ql
+++ b/c/misra/src/rules/RULE-21-23/TgMathArgumentsWithDifferingStandardType.ql
@@ -58,15 +58,13 @@ Type canonicalize(Type type) {
   else result = type
 }
 
-Type getEffectiveStandardType(Expr e) {
-  result = canonicalize(getPromotedType(e.getExplicitlyConverted()))
-}
+Type getEffectiveStandardType(Expr e) { result = canonicalize(getPromotedType(e)) }
 
 from TgMathInvocation call, Type firstType
 where
   not isExcluded(call, EssentialTypes2Package::tgMathArgumentsWithDifferingStandardTypeQuery()) and
-  firstType = getEffectiveStandardType(call.getAnOperandArgument()) and
-  not forall(Expr arg | arg = call.getAnOperandArgument() |
+  firstType = getEffectiveStandardType(call.getExplicitlyConvertedOperandArgument(0)) and
+  not forall(Expr arg | arg = call.getExplicitlyConvertedOperandArgument(_) |
     firstType = getEffectiveStandardType(arg)
   )
 select call,
diff --git a/c/misra/src/rules/RULE-21-25/InvalidMemoryOrderArgument.ql b/c/misra/src/rules/RULE-21-25/InvalidMemoryOrderArgument.ql
index 92ec2694b3..684b4e50cb 100644
--- a/c/misra/src/rules/RULE-21-25/InvalidMemoryOrderArgument.ql
+++ b/c/misra/src/rules/RULE-21-25/InvalidMemoryOrderArgument.ql
@@ -14,11 +14,23 @@
 
 import cpp
 import codingstandards.c.misra
+import codingstandards.cpp.StdFunctionOrMacro
 import semmle.code.cpp.dataflow.new.DataFlow
 
+class MemoryOrderEnum extends Enum {
+  MemoryOrderEnum() {
+    this.hasGlobalOrStdName("memory_order")
+    or
+    exists(TypedefType t |
+      t.getName() = "memory_order" and
+      t.getBaseType() = this
+    )
+  }
+}
+
 /* A member of the set of memory orders defined in the `memory_order` enum */
 class MemoryOrder extends EnumConstant {
-  MemoryOrder() { getDeclaringEnum().getName() = "memory_order" }
+  MemoryOrder() { getDeclaringEnum() instanceof MemoryOrderEnum }
 
   int getIntValue() { result = getValue().toInt() }
 }
@@ -49,59 +61,6 @@ class MemoryOrderConstantExpr extends Expr {
   string getMemoryOrderString() { result = ord.getName() }
 }
 
-/**
- * A `stdatomic.h` function which accepts a `memory_order` value as a parameter.
- */
-class MemoryOrderedStdAtomicFunction extends Function {
-  int orderParamIdx;
-
-  MemoryOrderedStdAtomicFunction() {
-    exists(int baseParamIdx, int baseParams, string prefix, string regex, string basename |
-      regex = "__(c11_)?atomic_([a-z_]+)" and
-      prefix = getName().regexpCapture(regex, 1) and
-      basename = "atomic_" + getName().regexpCapture(regex, 2) + ["", "_explicit"] and
-      (
-        basename in ["atomic_thread_fence", "atomic_signal_fence"] and
-        baseParamIdx = 0 and
-        baseParams = 1
-        or
-        basename in ["atomic_load", "atomic_flag_clear", "atomic_flag_test_and_set"] and
-        baseParamIdx = 1 and
-        baseParams = 2
-        or
-        basename in [
-            "atomic_store", "atomic_fetch_" + ["add", "sub", "or", "xor", "and"], "atomic_exchange"
-          ] and
-        baseParamIdx = 2 and
-        baseParams = 3
-        or
-        basename in ["atomic_compare_exchange_" + ["strong", "weak"]] and
-        baseParamIdx = [3, 4] and
-        baseParams = 5
-      ) and
-      (
-        // GCC case, may have one or two inserted parameters, e.g.:
-        // __atomic_load(8, &repr->a, &desired, order)
-        // or
-        // __atomic_load_8(&repr->a, &desired, order)
-        prefix = "" and
-        exists(int extraParams |
-          extraParams = getNumberOfParameters() - baseParams and
-          extraParams >= 0 and
-          orderParamIdx = baseParamIdx + extraParams
-        )
-        or
-        // Clang case, no inserted parameters:
-        // __c11_atomic_load(object, order)
-        prefix = "c11_" and
-        orderParamIdx = baseParamIdx
-      )
-    )
-  }
-
-  int getOrderParameterIdx() { result = orderParamIdx }
-}
-
 module MemoryOrderFlowConfig implements DataFlow::ConfigSig {
   predicate isSource(DataFlow::Node node) {
     // Direct usage of memory order constant
@@ -118,10 +77,7 @@ module MemoryOrderFlowConfig implements DataFlow::ConfigSig {
   }
 
   predicate isSink(DataFlow::Node node) {
-    exists(FunctionCall fc |
-      node.asExpr() =
-        fc.getArgument(fc.getTarget().(MemoryOrderedStdAtomicFunction).getOrderParameterIdx())
-    )
+    exists(AtomicallySequencedCall call | call.getAMemoryOrderArgument() = node.asExpr())
   }
 }
 
@@ -140,7 +96,7 @@ string describeMemoryOrderNode(DataFlow::Node node) {
 }
 
 from
-  Expr argument, Function function, string value, MemoryOrderFlow::PathNode source,
+  Expr argument, AtomicallySequencedCall function, string value, MemoryOrderFlow::PathNode source,
   MemoryOrderFlow::PathNode sink
 where
   not isExcluded(argument, Concurrency6Package::invalidMemoryOrderArgumentQuery()) and
@@ -149,6 +105,6 @@ where
   value = describeMemoryOrderNode(source.getNode()) and
   // Double check that we didn't find flow from something equivalent to the allowed value.
   not value = any(AllowedMemoryOrder e).getName() and
-  function.getACallToThisFunction().getAnArgument() = argument
+  function.getAMemoryOrderArgument() = argument
 select argument, source, sink, "Invalid memory order '$@' in call to function '$@'.", value, value,
   function, function.getName()
diff --git a/c/misra/src/rules/RULE-9-7/UninitializedAtomicObject.ql b/c/misra/src/rules/RULE-9-7/UninitializedAtomicObject.ql
index dfb096189f..5f7fb803d6 100644
--- a/c/misra/src/rules/RULE-9-7/UninitializedAtomicObject.ql
+++ b/c/misra/src/rules/RULE-9-7/UninitializedAtomicObject.ql
@@ -31,7 +31,11 @@ class ThreadSpawningFunction extends Function {
 }
 
 class AtomicInitAddressOfExpr extends AddressOfExpr {
-  AtomicInitAddressOfExpr() { exists(AtomicInitCall c | this = c.getArgument(0)) }
+  AtomicInitAddressOfExpr() {
+    // StdFunctionOrMacro arguments are not necessarily reliable, so we look for any AddressOfExpr
+    // that is an argument to a call to `atomic_init`.
+    exists(AtomicInitCall c | this = c.getAnArgument())
+  }
 }
 
 ControlFlowNode getARequiredInitializationPoint(LocalScopeVariable v) {
diff --git a/c/misra/test/rules/DIR-5-1/test.c b/c/misra/test/rules/DIR-5-1/test.c
index 5e568cc95c..5f392105e6 100644
--- a/c/misra/test/rules/DIR-5-1/test.c
+++ b/c/misra/test/rules/DIR-5-1/test.c
@@ -99,7 +99,7 @@ void many_thread13_calls_nonreentrant_funcs(void *p) {
   wcsrtombs(NULL, NULL, 0, NULL); // NON-COMPLIANT
 }
 
-void main() {
+int main(int argc, char *argv[]) {
   thrd_t single_thread1;
   thrd_t many_thread2;
   thrd_t single_thread3;
diff --git a/c/misra/test/rules/DIR-5-3/test.c b/c/misra/test/rules/DIR-5-3/test.c
index ebdf53cfb4..16eb580276 100644
--- a/c/misra/test/rules/DIR-5-3/test.c
+++ b/c/misra/test/rules/DIR-5-3/test.c
@@ -14,7 +14,7 @@ void func_called_from_main(void);
 void make_threads_called_from_func_called_from_main(void);
 void make_threads_called_from_main_pthread_thrd(void);
 
-void main() {
+int main(int argc, char *argv[]) {
   thrd_create(&g1, &thrd_func, NULL);             // COMPLIANT
   pthread_create(&g2, NULL, &pthread_func, NULL); // COMPLIANT
 
diff --git a/c/misra/test/rules/RULE-1-5/UseOfObsoleteMacroAtomicVarInit.expected.gcc b/c/misra/test/rules/RULE-1-5/UseOfObsoleteMacroAtomicVarInit.expected.gcc
new file mode 100644
index 0000000000..cb8e72ff0f
--- /dev/null
+++ b/c/misra/test/rules/RULE-1-5/UseOfObsoleteMacroAtomicVarInit.expected.gcc
@@ -0,0 +1 @@
+| test.c:29:18:29:36 | ATOMIC_VAR_INIT(VALUE) | Usage of macro ATOMIC_VAR_INIT() is declared obscelescent in C18, and discouraged in earlier C versions. |
diff --git a/c/misra/test/rules/RULE-11-10/AtomicQualifierAppliedToVoid.expected.clang b/c/misra/test/rules/RULE-11-10/AtomicQualifierAppliedToVoid.expected.clang
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/c/misra/test/rules/RULE-11-10/test.c.clang b/c/misra/test/rules/RULE-11-10/test.c.clang
new file mode 100644
index 0000000000..c30368a48d
--- /dev/null
+++ b/c/misra/test/rules/RULE-11-10/test.c.clang
@@ -0,0 +1,28 @@
+// _Atomic void g1;  // doesn't compile
+_Atomic int g2;   // COMPLIANT
+// _Atomic void *g3; // NON_COMPLIANT
+// _Atomic void g4[]; // doesn't compile
+void *_Atomic g5; // COMPLIANT
+
+struct {
+  _Atomic int m1; // COMPLIANT
+  // _Atomic void m2; // doesn't compile
+  // _Atomic void *m3; // NON_COMPLIANT
+  void *_Atomic m4; // COMPLIANT
+} s1;
+
+void f(_Atomic int p1  // COMPLIANT
+       // _Atomic void *p2 // NON_COMPLIANT
+       // _Atomic void p3[] // doesn't compile, even though it perhaps should as
+       // it is adjusted to void*.
+) {}
+
+// typedef _Atomic void *f2(void);     // NON_COMPLIANT
+// typedef _Atomic void *(*f3)(void);  // NON_COMPLIANT
+// typedef void f4(_Atomic void *);    // NON_COMPLIANT
+// typedef void (*f5)(_Atomic void *); // NON_COMPLIANT
+
+void f6() {
+  (void *)0;         // COMPLIANT
+  // (_Atomic void *)0; // NON_COMPLIANT
+}
\ No newline at end of file
diff --git a/c/misra/test/rules/RULE-12-6/AtomicAggregateObjectDirectlyAccessed.expected.clang b/c/misra/test/rules/RULE-12-6/AtomicAggregateObjectDirectlyAccessed.expected.clang
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/c/misra/test/rules/RULE-12-6/test.c b/c/misra/test/rules/RULE-12-6/test.c
index 0281e6b0d8..74d9de2fca 100644
--- a/c/misra/test/rules/RULE-12-6/test.c
+++ b/c/misra/test/rules/RULE-12-6/test.c
@@ -28,8 +28,8 @@ void f1() {
   atomic_store(&s1_atomic_ptr, l2); // COMPLIANT
 
   // Undefined behavior, but not banned by this rule.
-  memset(&atomic_s1, sizeof(atomic_s1), 0);         // COMPLIANT
-  memset(ptr_atomic_s1, sizeof(*ptr_atomic_s1), 0); // COMPLIANT
+  memset(&atomic_s1, 0, sizeof(atomic_s1));         // COMPLIANT
+  memset(ptr_atomic_s1, 0, sizeof(*ptr_atomic_s1)); // COMPLIANT
 
   // OK: whole loads and stores are protected from data-races.
   takeCopy(atomic_s1);      // COMPLIANT
@@ -53,7 +53,7 @@ void f1() {
 
   // All OK: not an atomic struct, but rather an atomic pointer to non-atomic
   // struct.
-  memset(s1_atomic_ptr, sizeof(*s1_atomic_ptr), 0); // COMPLIANT
+  memset(s1_atomic_ptr, 0, sizeof(*s1_atomic_ptr)); // COMPLIANT
   takeCopy(*s1_atomic_ptr);                         // COMPLIANT
   *s1_atomic_ptr = (s1){0};                         // COMPLIANT
   s1_atomic_ptr = l2;                               // COMPLIANT
diff --git a/c/misra/test/rules/RULE-12-6/test.c.clang b/c/misra/test/rules/RULE-12-6/test.c.clang
new file mode 100644
index 0000000000..83ad24cdb5
--- /dev/null
+++ b/c/misra/test/rules/RULE-12-6/test.c.clang
@@ -0,0 +1,89 @@
+#include "stdatomic.h"
+#include "string.h"
+
+typedef struct s1 {
+  int x;
+} s1;
+
+_Atomic s1 atomic_s1;
+// A non-atomic pointer to an atomic s1
+_Atomic s1 *ptr_atomic_s1;
+// An atomic pointer to a non-atomic s1
+s1 *_Atomic s1_atomic_ptr;
+
+_Atomic int g3;
+
+void takeCopy(s1 p1);
+
+void f1() {
+  s1 l1;
+  s1 *l2;
+  l1 = atomic_load(&atomic_s1);     // COMPLIANT
+  l1 = atomic_load(ptr_atomic_s1);  // COMPLIANT
+  l2 = atomic_load(&s1_atomic_ptr); // COMPLIANT
+  l1.x = 4;                         // COMPLIANT
+  l2->x = 4;                        // COMPLIANT
+  atomic_store(&atomic_s1, l1);     // COMPLIANT
+  atomic_store(ptr_atomic_s1, l1);  // COMPLIANT
+  atomic_store(&s1_atomic_ptr, l2); // COMPLIANT
+
+  // Undefined behavior, but not banned by this rule.
+  memset(&atomic_s1, 0, sizeof(atomic_s1));         // COMPLIANT
+  memset(ptr_atomic_s1, 0, sizeof(*ptr_atomic_s1)); // COMPLIANT
+
+  // OK: whole loads and stores are protected from data-races.
+  takeCopy(atomic_s1);      // COMPLIANT
+  takeCopy(*ptr_atomic_s1); // COMPLIANT
+  atomic_s1 = (s1){0};      // COMPLIANT
+  *ptr_atomic_s1 = (s1){0}; // COMPLIANT
+  atomic_s1 = *l2;          // COMPLIANT
+  ptr_atomic_s1 = l2;       // COMPLIANT
+
+  // Banned: circumvents data-race protection, results in UB.
+  // atomic_s1.x;          // NON-COMPLIANT
+  // ptr_atomic_s1->x;     // NON-COMPLIANT
+  // atomic_s1.x = 0;      // NON-COMPLIANT
+  // ptr_atomic_s1->x = 0; // NON-COMPLIANT
+
+  // OK: not evaluated.
+  sizeof(atomic_s1);        // COMPLIANT
+  sizeof(ptr_atomic_s1);    // COMPLIANT
+  // sizeof(atomic_s1.x);      // COMPLIANT
+  // sizeof(ptr_atomic_s1->x); // COMPLIANT
+
+  // All OK: not an atomic struct, but rather an atomic pointer to non-atomic
+  // struct.
+  memset(s1_atomic_ptr, 0, sizeof(*s1_atomic_ptr)); // COMPLIANT
+  takeCopy(*s1_atomic_ptr);                         // COMPLIANT
+  *s1_atomic_ptr = (s1){0};                         // COMPLIANT
+  s1_atomic_ptr = l2;                               // COMPLIANT
+  s1_atomic_ptr->x;                                 // COMPLIANT
+
+  // Atomic specifier hidden behind a typedef, still atomic:
+  typedef _Atomic s1 atomic_s1;
+  atomic_s1 l3;
+  // l3.x; // NON_COMPLIANT
+
+  // Worst case scenario: a typedef of a volatile const pointer to an atomic
+  // typedef type.
+  typedef atomic_s1 *volatile const atomic_s1_specified_ptr;
+  atomic_s1_specified_ptr l4;
+  // (l4)->x; // NON_COMPLIANT
+}
+
+#define NOOP(x) (x)
+#define DOT_FIELD_ACCESS_X(v) (v).x
+#define POINTER_FIELD_ACCESS_X(v) (v)->x
+#define GET_X_ATOMIC_S1() atomic_s1.x
+#define GET_X_PTR_ATOMIC_S1() atomic_s1.x
+
+void f2() {
+  // Banned UB with user macros:
+  // NOOP(atomic_s1.x);                     // NON-COMPLIANT
+  // DOT_FIELD_ACCESS_X(atomic_s1);         // NON-COMPLIANT
+  // POINTER_FIELD_ACCESS_X(ptr_atomic_s1); // NON-COMPLIANT
+  // GET_X_ATOMIC_S1();                     // NON-COMPLIANT
+  // GET_X_PTR_ATOMIC_S1();                 // NON-COMPLIANT
+  // GET_X_ATOMIC_S1() = 0;                 // NON-COMPLIANT
+  // GET_X_PTR_ATOMIC_S1() = 0;             // NON-COMPLIANT
+}
\ No newline at end of file
diff --git a/c/misra/test/rules/RULE-13-2/UnsequencedAtomicReads.expected b/c/misra/test/rules/RULE-13-2/UnsequencedAtomicReads.expected
index 897dd68f30..4fa06eb069 100644
--- a/c/misra/test/rules/RULE-13-2/UnsequencedAtomicReads.expected
+++ b/c/misra/test/rules/RULE-13-2/UnsequencedAtomicReads.expected
@@ -1,5 +1,5 @@
-WARNING: module 'DataFlow' has been deprecated and may be removed in future (UnsequencedAtomicReads.ql:86,31-39)
-WARNING: module 'DataFlow' has been deprecated and may be removed in future (UnsequencedAtomicReads.ql:86,67-75)
-WARNING: module 'TaintTracking' has been deprecated and may be removed in future (UnsequencedAtomicReads.ql:86,5-18)
+WARNING: module 'DataFlow' has been deprecated and may be removed in future (UnsequencedAtomicReads.ql:112,31-39)
+WARNING: module 'DataFlow' has been deprecated and may be removed in future (UnsequencedAtomicReads.ql:112,67-75)
+WARNING: module 'TaintTracking' has been deprecated and may be removed in future (UnsequencedAtomicReads.ql:112,5-18)
 | test.c:44:12:44:18 | ... + ... | Atomic variable $@ has a $@ that is unsequenced with $@. | test.c:42:15:42:16 | a1 | a1 | test.c:44:12:44:13 | a1 | previous read | test.c:44:17:44:18 | a1 | another read |
 | test.c:46:3:46:37 | ... + ... | Atomic variable $@ has a $@ that is unsequenced with $@. | test.c:42:15:42:16 | a1 | a1 | test.c:46:16:46:17 | a1 | previous read | test.c:46:35:46:36 | a1 | another read |
diff --git a/c/misra/test/rules/RULE-13-2/UnsequencedAtomicReads.expected.gcc b/c/misra/test/rules/RULE-13-2/UnsequencedAtomicReads.expected.gcc
new file mode 100644
index 0000000000..ccfb4e6a7b
--- /dev/null
+++ b/c/misra/test/rules/RULE-13-2/UnsequencedAtomicReads.expected.gcc
@@ -0,0 +1,5 @@
+WARNING: module 'DataFlow' has been deprecated and may be removed in future (UnsequencedAtomicReads.ql:112,31-39)
+WARNING: module 'DataFlow' has been deprecated and may be removed in future (UnsequencedAtomicReads.ql:112,67-75)
+WARNING: module 'TaintTracking' has been deprecated and may be removed in future (UnsequencedAtomicReads.ql:112,5-18)
+| test.c:44:12:44:18 | ... + ... | Atomic variable $@ has a $@ that is unsequenced with $@. | test.c:42:15:42:16 | a1 | a1 | test.c:44:12:44:13 | a1 | previous read | test.c:44:17:44:18 | a1 | another read |
+| test.c:46:15:46:17 | & ... | Atomic variable $@ has a $@ that is unsequenced with $@. | test.c:42:15:42:16 | a1 | a1 | test.c:46:16:46:17 | a1 | previous read | test.c:46:35:46:36 | a1 | another read |
diff --git a/c/misra/test/rules/RULE-17-11/test.c b/c/misra/test/rules/RULE-17-11/test.c
index 7baaea5821..73227accb9 100644
--- a/c/misra/test/rules/RULE-17-11/test.c
+++ b/c/misra/test/rules/RULE-17-11/test.c
@@ -86,7 +86,7 @@ __attribute__((noreturn)) void test_noreturn_f13(int i) { // COMPLIANT
 
 // Allowed by exception. It is undefined behavior for main() to be declared with
 // noreturn.
-int main(char **argv, int argc) { // COMPLIANT
+int main(int argc, char *argv[]) { // COMPLIANT
   abort();
 }
 
diff --git a/c/misra/test/rules/RULE-18-10/test.c b/c/misra/test/rules/RULE-18-10/test.c
index 645943733d..565b51e8de 100644
--- a/c/misra/test/rules/RULE-18-10/test.c
+++ b/c/misra/test/rules/RULE-18-10/test.c
@@ -57,10 +57,10 @@ void f1(
     } p20,
 
     // Unknown array length types:
-    int p21[],       // COMPLIANT
-    int p22[][],     // COMPLIANT
-    int (*p23)[],    // COMPLIANT
-    int (*p24)[2][], // COMPLIANT
+    int p21[],    // COMPLIANT
+    int p22[][2], // COMPLIANT
+    int (*p23)[], // COMPLIANT
+    // int (*p24)[2][], // doesn't compile
     int (*p25)[][2], // COMPLIANT
 
     // VLA types that are rewritten as pointers:
@@ -73,7 +73,7 @@ void f1(
   int(*l2)[3];  // COMPLIANT
   int(*l3)[p0]; // NON-COMPLIANT
 
-  int l6[10] = p23;
+  int l6[10];
 
   // A pointer to a VMT may be declared `static`.
   static int(*l4)[p0]; // NON-COMPLIANT
diff --git a/c/misra/test/rules/RULE-18-8/test.c b/c/misra/test/rules/RULE-18-8/test.c
index e6e038049c..ea639de271 100644
--- a/c/misra/test/rules/RULE-18-8/test.c
+++ b/c/misra/test/rules/RULE-18-8/test.c
@@ -28,8 +28,8 @@ void f1(int n,
         int p1[n], // COMPLIANT
         // Pointers to variably-modified types are not VLAs.
         int p2[n][n],
-        int p3[],  // array of unknown length is converted to pointer
-        int p4[][] // array of unknown length are not VLAs.
+        int p3[],   // array of unknown length is converted to pointer
+        int p4[][n] // array of unknown length are not VLAs.
 ) {}
 
 struct s {
diff --git a/c/misra/test/rules/RULE-18-9/ArrayToPointerConversionOfTemporaryObject.expected b/c/misra/test/rules/RULE-18-9/ArrayToPointerConversionOfTemporaryObject.expected
index 34bec03490..cf741ed16c 100644
--- a/c/misra/test/rules/RULE-18-9/ArrayToPointerConversionOfTemporaryObject.expected
+++ b/c/misra/test/rules/RULE-18-9/ArrayToPointerConversionOfTemporaryObject.expected
@@ -25,6 +25,6 @@
 | test.c:90:3:90:36 | array to pointer conversion | Array to pointer conversion of array $@ from temporary object $@. | test.c:3:13:3:21 | const_arr | const_arr | test.c:90:3:90:8 | call to get_s2 | call to get_s2 |
 | test.c:91:15:91:42 | array to pointer conversion | Array to pointer conversion of array $@ from temporary object $@. | test.c:3:13:3:21 | const_arr | const_arr | test.c:91:15:91:20 | call to get_s2 | call to get_s2 |
 | test.c:92:15:92:48 | array to pointer conversion | Array to pointer conversion of array $@ from temporary object $@. | test.c:3:13:3:21 | const_arr | const_arr | test.c:92:15:92:20 | call to get_s2 | call to get_s2 |
-| test.c:111:15:111:33 | array to pointer conversion | Array to pointer conversion of array $@ from temporary object $@. | test.c:3:13:3:21 | const_arr | const_arr | test.c:111:16:111:22 | ... = ... | ... = ... |
-| test.c:113:15:113:37 | array to pointer conversion | Array to pointer conversion of array $@ from temporary object $@. | test.c:3:13:3:21 | const_arr | const_arr | test.c:113:16:113:26 | ... ? ... : ... | ... ? ... : ... |
-| test.c:114:15:114:31 | array to pointer conversion | Array to pointer conversion of array $@ from temporary object $@. | test.c:3:13:3:21 | const_arr | const_arr | test.c:114:16:114:20 | ... , ... | ... , ... |
+| test.c:114:15:114:27 | array to pointer conversion | Array to pointer conversion of array $@ from temporary object $@. | test.c:112:9:112:11 | arr | arr | test.c:114:16:114:22 | ... = ... | ... = ... |
+| test.c:116:15:116:37 | array to pointer conversion | Array to pointer conversion of array $@ from temporary object $@. | test.c:3:13:3:21 | const_arr | const_arr | test.c:116:16:116:26 | ... ? ... : ... | ... ? ... : ... |
+| test.c:117:15:117:31 | array to pointer conversion | Array to pointer conversion of array $@ from temporary object $@. | test.c:3:13:3:21 | const_arr | const_arr | test.c:117:16:117:20 | ... , ... | ... , ... |
diff --git a/c/misra/test/rules/RULE-18-9/ModifiableLValueSubscriptedWithTemporaryLifetime.expected b/c/misra/test/rules/RULE-18-9/ModifiableLValueSubscriptedWithTemporaryLifetime.expected
index 19604e2092..4c961ee994 100644
--- a/c/misra/test/rules/RULE-18-9/ModifiableLValueSubscriptedWithTemporaryLifetime.expected
+++ b/c/misra/test/rules/RULE-18-9/ModifiableLValueSubscriptedWithTemporaryLifetime.expected
@@ -5,11 +5,11 @@
 | test.c:84:5:84:19 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:84:14:84:16 | arr | arr | test.c:84:5:84:10 | call to get_s1 | call to get_s1 |
 | test.c:93:3:93:27 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:93:22:93:24 | arr | arr | test.c:93:3:93:8 | call to get_s2 | call to get_s2 |
 | test.c:94:3:94:27 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:94:22:94:24 | arr | arr | test.c:94:3:94:8 | call to get_s2 | call to get_s2 |
-| test.c:137:3:137:23 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:137:12:137:20 | arr_union | arr_union | test.c:137:3:137:8 | call to get_s3 | call to get_s3 |
-| test.c:138:3:138:24 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:138:12:138:21 | arr_struct | arr_struct | test.c:138:3:138:8 | call to get_s3 | call to get_s3 |
-| test.c:139:3:139:24 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:139:12:139:21 | arr_struct | arr_struct | test.c:139:3:139:8 | call to get_s3 | call to get_s3 |
-| test.c:140:3:140:24 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:140:12:140:21 | arr_struct | arr_struct | test.c:140:3:140:8 | call to get_s3 | call to get_s3 |
+| test.c:140:3:140:23 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:140:12:140:20 | arr_union | arr_union | test.c:140:3:140:8 | call to get_s3 | call to get_s3 |
 | test.c:141:3:141:24 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:141:12:141:21 | arr_struct | arr_struct | test.c:141:3:141:8 | call to get_s3 | call to get_s3 |
-| test.c:142:4:142:25 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:142:13:142:22 | arr_struct | arr_struct | test.c:142:4:142:9 | call to get_s3 | call to get_s3 |
-| test.c:146:3:146:19 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:146:12:146:16 | arr2d | arr2d | test.c:146:3:146:8 | call to get_s3 | call to get_s3 |
-| test.c:147:4:147:20 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:147:13:147:17 | arr2d | arr2d | test.c:147:4:147:9 | call to get_s3 | call to get_s3 |
+| test.c:142:3:142:24 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:142:12:142:21 | arr_struct | arr_struct | test.c:142:3:142:8 | call to get_s3 | call to get_s3 |
+| test.c:143:3:143:24 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:143:12:143:21 | arr_struct | arr_struct | test.c:143:3:143:8 | call to get_s3 | call to get_s3 |
+| test.c:144:3:144:24 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:144:12:144:21 | arr_struct | arr_struct | test.c:144:3:144:8 | call to get_s3 | call to get_s3 |
+| test.c:145:4:145:25 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:145:13:145:22 | arr_struct | arr_struct | test.c:145:4:145:9 | call to get_s3 | call to get_s3 |
+| test.c:149:3:149:19 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:149:12:149:16 | arr2d | arr2d | test.c:149:3:149:8 | call to get_s3 | call to get_s3 |
+| test.c:150:4:150:20 | access to array | Modifiable lvalue produced by subscripting array member $@ of temporary lifetime object $@  | test.c:150:13:150:17 | arr2d | arr2d | test.c:150:4:150:9 | call to get_s3 | call to get_s3 |
diff --git a/c/misra/test/rules/RULE-18-9/test.c b/c/misra/test/rules/RULE-18-9/test.c
index f2fb44fdc9..d5eb5ec35e 100644
--- a/c/misra/test/rules/RULE-18-9/test.c
+++ b/c/misra/test/rules/RULE-18-9/test.c
@@ -108,7 +108,10 @@ void f(void) {
   get_s2_ptr()->member_s1.arr[0] = 1;     // COMPLIANT
 
   // Other types of non-lvalue types
-  use_int_ptr((l1 = l1).const_arr);       // NON-COMPLIANT
+  struct {
+    int arr[10];
+  } l3;
+  use_int_ptr((l3 = l3).arr);             // NON-COMPLIANT
   use_int_ptr(((struct s1)l1).const_arr); // NON-COMPLIANT[FALSE_NEGATIVE]
   use_int_ptr((1 ? l1 : l1).const_arr);   // NON-COMPLIANT
   use_int_ptr((0, l1).const_arr);         // NON-COMPLIANT
diff --git a/c/misra/test/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.expected b/c/misra/test/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.expected
index 7c30f68204..03dddb8dfe 100644
--- a/c/misra/test/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.expected
+++ b/c/misra/test/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.expected
@@ -130,3 +130,5 @@
 | test.c:303:14:303:15 | cf | Argument 2 provided to type-generic macro 'scalbln' has essentially complex floating type, which is not essentially signed, unsigned, or real floating type. |
 | test.c:309:10:309:11 | cf | Argument 1 provided to type-generic macro 'tgamma' has essentially complex floating type, which is not essentially signed, unsigned, or real floating type. |
 | test.c:310:9:310:10 | cf | Argument 1 provided to type-generic macro 'trunc' has essentially complex floating type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:325:13:325:13 | i | Argument 1 provided to type-generic macro 'cos' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:328:18:328:18 | c | Argument 1 provided to type-generic macro 'cos' has essentially character type, which is not essentially signed, unsigned, or floating type. |
diff --git a/c/misra/test/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.expected.clang b/c/misra/test/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.expected.clang
new file mode 100644
index 0000000000..313438ea6c
--- /dev/null
+++ b/c/misra/test/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.expected.clang
@@ -0,0 +1,76 @@
+| test.c:29:7:29:7 | c | Argument 1 provided to type-generic macro 'cos' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:40:7:40:7 | e | Argument 1 provided to type-generic macro 'cos' has essentially enum type, which is not essentially signed, unsigned, or floating type. |
+| test.c:41:7:41:7 | b | Argument 1 provided to type-generic macro 'cos' has essentially boolean type, which is not essentially signed, unsigned, or floating type. |
+| test.c:156:8:156:8 | c | Argument 1 provided to type-generic macro 'acos' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:157:9:157:9 | c | Argument 1 provided to type-generic macro 'acosh' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:158:8:158:8 | c | Argument 1 provided to type-generic macro 'asin' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:159:9:159:9 | c | Argument 1 provided to type-generic macro 'asinh' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:160:9:160:9 | c | Argument 1 provided to type-generic macro 'atan2' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:161:12:161:12 | c | Argument 2 provided to type-generic macro 'atan2' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:162:9:162:9 | c | Argument 1 provided to type-generic macro 'atanh' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:163:8:163:8 | c | Argument 1 provided to type-generic macro 'carg' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:164:8:164:8 | c | Argument 1 provided to type-generic macro 'ceil' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:165:9:165:9 | c | Argument 1 provided to type-generic macro 'cimag' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:166:8:166:8 | c | Argument 1 provided to type-generic macro 'conj' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:167:15:167:15 | c | Argument 2 provided to type-generic macro 'copysign' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:168:12:168:12 | c | Argument 1 provided to type-generic macro 'copysign' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:169:8:169:8 | c | Argument 1 provided to type-generic macro 'cosh' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:170:9:170:9 | c | Argument 1 provided to type-generic macro 'cproj' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:171:9:171:9 | c | Argument 1 provided to type-generic macro 'creal' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:172:7:172:7 | c | Argument 1 provided to type-generic macro 'erf' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:173:8:173:8 | c | Argument 1 provided to type-generic macro 'erfc' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:174:7:174:7 | c | Argument 1 provided to type-generic macro 'exp' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:175:8:175:8 | c | Argument 1 provided to type-generic macro 'exp2' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:176:9:176:9 | c | Argument 1 provided to type-generic macro 'expm1' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:177:8:177:8 | c | Argument 1 provided to type-generic macro 'fabs' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:178:8:178:8 | c | Argument 1 provided to type-generic macro 'fdim' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:179:11:179:11 | c | Argument 2 provided to type-generic macro 'fdim' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:180:9:180:9 | c | Argument 1 provided to type-generic macro 'floor' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:181:7:181:7 | c | Argument 1 provided to type-generic macro 'fma' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:182:10:182:10 | c | Argument 2 provided to type-generic macro 'fma' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:183:13:183:13 | c | Argument 3 provided to type-generic macro 'fma' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:184:8:184:8 | c | Argument 1 provided to type-generic macro 'fmax' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:185:11:185:11 | c | Argument 2 provided to type-generic macro 'fmax' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:186:8:186:8 | c | Argument 1 provided to type-generic macro 'fmin' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:187:11:187:11 | c | Argument 2 provided to type-generic macro 'fmin' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:188:8:188:8 | c | Argument 1 provided to type-generic macro 'fmod' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:189:11:189:11 | c | Argument 2 provided to type-generic macro 'fmod' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:191:9:191:9 | c | Argument 1 provided to type-generic macro 'hypot' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:192:12:192:12 | c | Argument 2 provided to type-generic macro 'hypot' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:193:9:193:9 | c | Argument 1 provided to type-generic macro 'ilogb' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:194:9:194:9 | c | Argument 1 provided to type-generic macro 'ldexp' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:195:12:195:12 | c | Argument 2 provided to type-generic macro 'ldexp' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:196:10:196:10 | c | Argument 1 provided to type-generic macro 'lgamma' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:197:10:197:10 | c | Argument 1 provided to type-generic macro 'llrint' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:198:11:198:11 | c | Argument 1 provided to type-generic macro 'llround' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:199:7:199:7 | c | Argument 1 provided to type-generic macro 'log' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:200:9:200:9 | c | Argument 1 provided to type-generic macro 'log10' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:201:9:201:9 | c | Argument 1 provided to type-generic macro 'log1p' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:202:8:202:8 | c | Argument 1 provided to type-generic macro 'log2' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:203:8:203:8 | c | Argument 1 provided to type-generic macro 'logb' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:204:9:204:9 | c | Argument 1 provided to type-generic macro 'lrint' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:205:10:205:10 | c | Argument 1 provided to type-generic macro 'lround' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:206:13:206:13 | c | Argument 1 provided to type-generic macro 'nearbyint' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:207:13:207:13 | c | Argument 1 provided to type-generic macro 'nextafter' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:208:16:208:16 | c | Argument 2 provided to type-generic macro 'nextafter' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:209:14:209:14 | c | Argument 1 provided to type-generic macro 'nexttoward' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:210:17:210:17 | c | Argument 2 provided to type-generic macro 'nexttoward' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:211:7:211:7 | c | Argument 1 provided to type-generic macro 'pow' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:212:10:212:10 | c | Argument 2 provided to type-generic macro 'pow' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:213:13:213:13 | c | Argument 1 provided to type-generic macro 'remainder' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:214:16:214:16 | c | Argument 2 provided to type-generic macro 'remainder' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:217:8:217:8 | c | Argument 1 provided to type-generic macro 'rint' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:218:9:218:9 | c | Argument 1 provided to type-generic macro 'round' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:219:10:219:10 | c | Argument 1 provided to type-generic macro 'scalbn' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:220:13:220:13 | c | Argument 2 provided to type-generic macro 'scalbn' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:221:11:221:11 | c | Argument 1 provided to type-generic macro 'scalbln' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:222:14:222:14 | c | Argument 2 provided to type-generic macro 'scalbln' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:223:7:223:7 | c | Argument 1 provided to type-generic macro 'sin' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:224:8:224:8 | c | Argument 1 provided to type-generic macro 'sinh' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:225:8:225:8 | c | Argument 1 provided to type-generic macro 'sqrt' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:226:7:226:7 | c | Argument 1 provided to type-generic macro 'tan' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:227:8:227:8 | c | Argument 1 provided to type-generic macro 'tanh' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:228:10:228:10 | c | Argument 1 provided to type-generic macro 'tgamma' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:229:9:229:9 | c | Argument 1 provided to type-generic macro 'trunc' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:325:14:325:14 | i | Argument 1 provided to type-generic macro 'cos' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:328:20:328:20 | c | Argument 1 provided to type-generic macro 'cos' has essentially character type, which is not essentially signed, unsigned, or floating type. |
diff --git a/c/misra/test/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.expected.gcc b/c/misra/test/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.expected.gcc
new file mode 100644
index 0000000000..79b070ae84
--- /dev/null
+++ b/c/misra/test/rules/RULE-21-22/TgMathArgumentWithInvalidEssentialType.expected.gcc
@@ -0,0 +1,79 @@
+| test.c:29:7:29:7 | c | Argument 1 provided to type-generic macro 'cos' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:40:7:40:7 | e | Argument 1 provided to type-generic macro 'cos' has essentially enum type, which is not essentially signed, unsigned, or floating type. |
+| test.c:41:7:41:7 | b | Argument 1 provided to type-generic macro 'cos' has essentially boolean type, which is not essentially signed, unsigned, or floating type. |
+| test.c:156:8:156:8 | c | Argument 1 provided to type-generic macro 'acos' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:157:9:157:9 | c | Argument 1 provided to type-generic macro 'acosh' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:158:8:158:8 | c | Argument 1 provided to type-generic macro 'asin' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:159:9:159:9 | c | Argument 1 provided to type-generic macro 'asinh' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:160:9:160:9 | c | Argument 1 provided to type-generic macro 'atan2' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:161:12:161:12 | c | Argument 2 provided to type-generic macro 'atan2' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:162:9:162:9 | c | Argument 1 provided to type-generic macro 'atanh' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:163:8:163:8 | c | Argument 1 provided to type-generic macro 'carg' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:164:8:164:8 | c | Argument 1 provided to type-generic macro 'ceil' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:165:9:165:9 | c | Argument 1 provided to type-generic macro 'cimag' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:166:8:166:8 | c | Argument 1 provided to type-generic macro 'conj' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:167:15:167:15 | c | Argument 2 provided to type-generic macro 'copysign' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:168:12:168:12 | c | Argument 1 provided to type-generic macro 'copysign' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:169:8:169:8 | c | Argument 1 provided to type-generic macro 'cosh' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:170:9:170:9 | c | Argument 1 provided to type-generic macro 'cproj' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:171:9:171:9 | c | Argument 1 provided to type-generic macro 'creal' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:172:7:172:7 | c | Argument 1 provided to type-generic macro 'erf' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:173:8:173:8 | c | Argument 1 provided to type-generic macro 'erfc' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:174:7:174:7 | c | Argument 1 provided to type-generic macro 'exp' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:175:8:175:8 | c | Argument 1 provided to type-generic macro 'exp2' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:176:9:176:9 | c | Argument 1 provided to type-generic macro 'expm1' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:177:8:177:8 | c | Argument 1 provided to type-generic macro 'fabs' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:178:8:178:8 | c | Argument 1 provided to type-generic macro 'fdim' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:179:11:179:11 | c | Argument 2 provided to type-generic macro 'fdim' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:180:9:180:9 | c | Argument 1 provided to type-generic macro 'floor' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:181:7:181:7 | c | Argument 1 provided to type-generic macro 'fma' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:182:10:182:10 | c | Argument 2 provided to type-generic macro 'fma' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:183:13:183:13 | c | Argument 3 provided to type-generic macro 'fma' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:184:8:184:8 | c | Argument 1 provided to type-generic macro 'fmax' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:185:11:185:11 | c | Argument 2 provided to type-generic macro 'fmax' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:186:8:186:8 | c | Argument 1 provided to type-generic macro 'fmin' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:187:11:187:11 | c | Argument 2 provided to type-generic macro 'fmin' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:188:8:188:8 | c | Argument 1 provided to type-generic macro 'fmod' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:189:11:189:11 | c | Argument 2 provided to type-generic macro 'fmod' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:190:9:190:9 | c | Argument 1 provided to type-generic macro 'frexp' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:191:9:191:9 | c | Argument 1 provided to type-generic macro 'hypot' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:192:12:192:12 | c | Argument 2 provided to type-generic macro 'hypot' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:193:9:193:9 | c | Argument 1 provided to type-generic macro 'ilogb' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:194:9:194:9 | c | Argument 1 provided to type-generic macro 'ldexp' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:195:12:195:12 | c | Argument 2 provided to type-generic macro 'ldexp' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:196:10:196:10 | c | Argument 1 provided to type-generic macro 'lgamma' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:197:10:197:10 | c | Argument 1 provided to type-generic macro 'llrint' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:198:11:198:11 | c | Argument 1 provided to type-generic macro 'llround' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:199:7:199:7 | c | Argument 1 provided to type-generic macro 'log' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:200:9:200:9 | c | Argument 1 provided to type-generic macro 'log10' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:201:9:201:9 | c | Argument 1 provided to type-generic macro 'log1p' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:202:8:202:8 | c | Argument 1 provided to type-generic macro 'log2' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:203:8:203:8 | c | Argument 1 provided to type-generic macro 'logb' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:204:9:204:9 | c | Argument 1 provided to type-generic macro 'lrint' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:205:10:205:10 | c | Argument 1 provided to type-generic macro 'lround' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:206:13:206:13 | c | Argument 1 provided to type-generic macro 'nearbyint' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:207:13:207:13 | c | Argument 1 provided to type-generic macro 'nextafter' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:208:16:208:16 | c | Argument 2 provided to type-generic macro 'nextafter' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:209:14:209:14 | c | Argument 1 provided to type-generic macro 'nexttoward' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:210:17:210:17 | c | Argument 2 provided to type-generic macro 'nexttoward' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:211:7:211:7 | c | Argument 1 provided to type-generic macro 'pow' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:212:10:212:10 | c | Argument 2 provided to type-generic macro 'pow' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:213:13:213:13 | c | Argument 1 provided to type-generic macro 'remainder' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:214:16:214:16 | c | Argument 2 provided to type-generic macro 'remainder' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:215:10:215:10 | c | Argument 1 provided to type-generic macro 'remquo' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:216:13:216:13 | c | Argument 2 provided to type-generic macro 'remquo' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:217:8:217:8 | c | Argument 1 provided to type-generic macro 'rint' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:218:9:218:9 | c | Argument 1 provided to type-generic macro 'round' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:219:10:219:10 | c | Argument 1 provided to type-generic macro 'scalbn' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:220:13:220:13 | c | Argument 2 provided to type-generic macro 'scalbn' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:221:11:221:11 | c | Argument 1 provided to type-generic macro 'scalbln' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:222:14:222:14 | c | Argument 2 provided to type-generic macro 'scalbln' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:223:7:223:7 | c | Argument 1 provided to type-generic macro 'sin' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:224:8:224:8 | c | Argument 1 provided to type-generic macro 'sinh' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:225:8:225:8 | c | Argument 1 provided to type-generic macro 'sqrt' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:226:7:226:7 | c | Argument 1 provided to type-generic macro 'tan' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:227:8:227:8 | c | Argument 1 provided to type-generic macro 'tanh' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:228:10:228:10 | c | Argument 1 provided to type-generic macro 'tgamma' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:229:9:229:9 | c | Argument 1 provided to type-generic macro 'trunc' has essentially character type, which is not essentially signed, unsigned, or real floating type. |
+| test.c:325:14:325:14 | i | Argument 1 provided to type-generic macro 'cos' has essentially character type, which is not essentially signed, unsigned, or floating type. |
+| test.c:328:20:328:20 | c | Argument 1 provided to type-generic macro 'cos' has essentially character type, which is not essentially signed, unsigned, or floating type. |
diff --git a/c/misra/test/rules/RULE-21-22/test.c b/c/misra/test/rules/RULE-21-22/test.c
index cc456c17fb..970df4fd56 100644
--- a/c/misra/test/rules/RULE-21-22/test.c
+++ b/c/misra/test/rules/RULE-21-22/test.c
@@ -320,4 +320,10 @@ void f1() {
   remquo(i, i, 0);         // COMPLIANT
   remquo(i, i, 'c' - 'c'); // COMPLIANT
   remquo(i, i, c);         // COMPLIANT
+
+  /* Test casts */
+  cos((char)i);      // NON-COMPLIANT
+  cos((int)c);       // COMPLIANT
+  cos((int)(char)i); // COMPLIANT
+  cos((char)(int)c); // NON-COMPLIANT
 }
\ No newline at end of file
diff --git a/c/misra/test/rules/RULE-21-22/test.c.clang b/c/misra/test/rules/RULE-21-22/test.c.clang
new file mode 100644
index 0000000000..d28576e058
--- /dev/null
+++ b/c/misra/test/rules/RULE-21-22/test.c.clang
@@ -0,0 +1,329 @@
+#include <complex.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <tgmath.h>
+
+void f1() {
+  int i = 0;
+  unsigned int ui = 0;
+  short s = 0;
+  unsigned short us = 0;
+  char c = 0;
+  unsigned char uc = 0;
+  signed char sc = 0;
+  long l = 0;
+  unsigned long ul = 0;
+  float f = 0.0f;
+  float _Complex cf = 0.0f + 0.0f * I;
+  double d = 0.0;
+  char *p = 0;
+  void *vp = 0;
+  uintptr_t uip = p;
+  enum { e1 } e = e1;
+  bool b = true;
+
+  cos(i);  // COMPLIANT
+  cos(ui); // COMPLIANT
+  cos(s);  // COMPLIANT
+  cos(us); // COMPLIANT
+  cos(c);  // NON-COMPLIANT
+  cos(uc); // COMPLIANT
+  cos(sc); // COMPLIANT
+  cos(l);  // COMPLIANT
+  cos(ul); // COMPLIANT
+  cos(f);  // COMPLIANT
+  cos(cf); // COMPLIANT
+  cos(d);  // COMPLIANT
+  // cos(p); // Doesn't compile
+  // cos(vp); // Doesn't compile
+  cos(uip);  // COMPLIANT
+  cos(e);    // NON-COMPLIANT
+  cos(b);    // NON-COMPLIANT
+  cos(1);    // COMPLIANT
+  cos(1.1f); // COMPLIANT
+  cos('a');  // NON-COMPLIANT[false negative]
+
+  /**
+   * Int, float, and complex allowed:
+   */
+  acos(i);          // COMPLIANT
+  acos(f);          // COMPLIANT
+  acosh(i);         // COMPLIANT
+  acosh(f);         // COMPLIANT
+  asin(i);          // COMPLIANT
+  asin(f);          // COMPLIANT
+  asinh(i);         // COMPLIANT
+  asinh(f);         // COMPLIANT
+  atan(i);          // COMPLIANT
+  atan(f);          // COMPLIANT
+  atan2(i, i);      // COMPLIANT
+  atan2(f, f);      // COMPLIANT
+  atanh(i);         // COMPLIANT
+  atanh(f);         // COMPLIANT
+  carg(i);          // COMPLIANT
+  carg(f);          // COMPLIANT
+  cbrt(i);          // COMPLIANT
+  cbrt(f);          // COMPLIANT
+  ceil(i);          // COMPLIANT
+  ceil(f);          // COMPLIANT
+  cimag(i);         // COMPLIANT
+  cimag(f);         // COMPLIANT
+  conj(i);          // COMPLIANT
+  conj(f);          // COMPLIANT
+  copysign(i, i);   // COMPLIANT
+  copysign(f, f);   // COMPLIANT
+  cos(i);           // COMPLIANT
+  cos(f);           // COMPLIANT
+  cosh(i);          // COMPLIANT
+  cosh(f);          // COMPLIANT
+  cproj(i);         // COMPLIANT
+  cproj(f);         // COMPLIANT
+  creal(i);         // COMPLIANT
+  creal(f);         // COMPLIANT
+  erf(i);           // COMPLIANT
+  erf(f);           // COMPLIANT
+  erfc(i);          // COMPLIANT
+  erfc(f);          // COMPLIANT
+  exp(i);           // COMPLIANT
+  exp(f);           // COMPLIANT
+  exp2(i);          // COMPLIANT
+  exp2(f);          // COMPLIANT
+  expm1(i);         // COMPLIANT
+  expm1(f);         // COMPLIANT
+  fabs(i);          // COMPLIANT
+  fabs(f);          // COMPLIANT
+  fdim(i, i);       // COMPLIANT
+  fdim(f, f);       // COMPLIANT
+  floor(i);         // COMPLIANT
+  floor(f);         // COMPLIANT
+  fma(i, i, i);     // COMPLIANT
+  fma(f, f, f);     // COMPLIANT
+  fmax(i, i);       // COMPLIANT
+  fmax(f, f);       // COMPLIANT
+  fmin(i, i);       // COMPLIANT
+  fmin(f, f);       // COMPLIANT
+  fmod(i, i);       // COMPLIANT
+  fmod(f, f);       // COMPLIANT
+  frexp(i, &i);     // COMPLIANT
+  frexp(f, &p);     // COMPLIANT
+  hypot(i, i);      // COMPLIANT
+  hypot(f, f);      // COMPLIANT
+  ilogb(i);         // COMPLIANT
+  ilogb(f);         // COMPLIANT
+  llrint(i);        // COMPLIANT
+  llrint(f);        // COMPLIANT
+  ldexp(i, i);      // COMPLIANT
+  ldexp(f, f);      // COMPLIANT
+  lgamma(i);        // COMPLIANT
+  lgamma(f);        // COMPLIANT
+  llround(i);       // COMPLIANT
+  llround(f);       // COMPLIANT
+  log(i);           // COMPLIANT
+  log(f);           // COMPLIANT
+  pow(i, i);        // COMPLIANT
+  pow(f, f);        // COMPLIANT
+  remainder(i, i);  // COMPLIANT
+  remainder(f, f);  // COMPLIANT
+  remquo(i, i, &i); // COMPLIANT
+  remquo(f, f, &f); // COMPLIANT
+  rint(i);          // COMPLIANT
+  rint(f);          // COMPLIANT
+  round(i);         // COMPLIANT
+  round(f);         // COMPLIANT
+  scalbn(i, i);     // COMPLIANT
+  scalbn(f, f);     // COMPLIANT
+  scalbln(i, i);    // COMPLIANT
+  scalbln(f, f);    // COMPLIANT
+  sin(i);           // COMPLIANT
+  sin(f);           // COMPLIANT
+  sin(cf);          // COMPLIANT
+  sinh(i);          // COMPLIANT
+  sinh(f);          // COMPLIANT
+  sqrt(i);          // COMPLIANT
+  sqrt(f);          // COMPLIANT
+  tan(i);           // COMPLIANT
+  tan(f);           // COMPLIANT
+  tanh(i);          // COMPLIANT
+  tanh(f);          // COMPLIANT
+  tgamma(i);        // COMPLIANT
+  tgamma(f);        // COMPLIANT
+  trunc(i);         // COMPLIANT
+  trunc(f);         // COMPLIANT
+
+  /**
+   * Char not allowed:
+   */
+  acos(c);          // NON-COMPLIANT
+  acosh(c);         // NON-COMPLIANT
+  asin(c);          // NON-COMPLIANT
+  asinh(c);         // NON-COMPLIANT
+  atan2(c, i);      // NON-COMPLIANT
+  atan2(i, c);      // NON-COMPLIANT
+  atanh(c);         // NON-COMPLIANT
+  carg(c);          // NON-COMPLIANT
+  ceil(c);          // NON-COMPLIANT
+  cimag(c);         // NON-COMPLIANT
+  conj(c);          // NON-COMPLIANT
+  copysign(i, c);   // NON-COMPLIANT
+  copysign(c, i);   // NON-COMPLIANT
+  cosh(c);          // NON-COMPLIANT
+  cproj(c);         // NON-COMPLIANT
+  creal(c);         // NON-COMPLIANT
+  erf(c);           // NON-COMPLIANT
+  erfc(c);          // NON-COMPLIANT
+  exp(c);           // NON-COMPLIANT
+  exp2(c);          // NON-COMPLIANT
+  expm1(c);         // NON-COMPLIANT
+  fabs(c);          // NON-COMPLIANT
+  fdim(c, i);       // NON-COMPLIANT
+  fdim(i, c);       // NON-COMPLIANT
+  floor(c);         // NON-COMPLIANT
+  fma(c, i, i);     // NON-COMPLIANT
+  fma(i, c, i);     // NON-COMPLIANT
+  fma(i, i, c);     // NON-COMPLIANT
+  fmax(c, i);       // NON-COMPLIANT
+  fmax(i, c);       // NON-COMPLIANT
+  fmin(c, i);       // NON-COMPLIANT
+  fmin(i, c);       // NON-COMPLIANT
+  fmod(c, i);       // NON-COMPLIANT
+  fmod(i, c);       // NON-COMPLIANT
+  //frexp(c, i);      // NON-COMPLIANT
+  hypot(c, i);      // NON-COMPLIANT
+  hypot(i, c);      // NON-COMPLIANT
+  ilogb(c);         // NON-COMPLIANT
+  ldexp(c, i);      // NON-COMPLIANT
+  ldexp(i, c);      // NON-COMPLIANT
+  lgamma(c);        // NON-COMPLIANT
+  llrint(c);        // NON-COMPLIANT
+  llround(c);       // NON-COMPLIANT
+  log(c);           // NON-COMPLIANT
+  log10(c);         // NON-COMPLIANT
+  log1p(c);         // NON-COMPLIANT
+  log2(c);          // NON-COMPLIANT
+  logb(c);          // NON-COMPLIANT
+  lrint(c);         // NON-COMPLIANT
+  lround(c);        // NON-COMPLIANT
+  nearbyint(c);     // NON-COMPLIANT
+  nextafter(c, i);  // NON-COMPLIANT
+  nextafter(i, c);  // NON-COMPLIANT
+  nexttoward(c, i); // NON-COMPLIANT
+  nexttoward(i, c); // NON-COMPLIANT
+  pow(c, i);        // NON-COMPLIANT
+  pow(i, c);        // NON-COMPLIANT
+  remainder(c, i);  // NON-COMPLIANT
+  remainder(i, c);  // NON-COMPLIANT
+  //remquo(c, i, i);  // NON-COMPLIANT
+  //remquo(i, c, i);  // NON-COMPLIANT
+  rint(c);          // NON-COMPLIANT
+  round(c);         // NON-COMPLIANT
+  scalbn(c, i);     // NON-COMPLIANT
+  scalbn(i, c);     // NON-COMPLIANT
+  scalbln(c, i);    // NON-COMPLIANT
+  scalbln(i, c);    // NON-COMPLIANT
+  sin(c);           // NON-COMPLIANT
+  sinh(c);          // NON-COMPLIANT
+  sqrt(c);          // NON-COMPLIANT
+  tan(c);           // NON-COMPLIANT
+  tanh(c);          // NON-COMPLIANT
+  tgamma(c);        // NON-COMPLIANT
+  trunc(c);         // NON-COMPLIANT
+
+  /**
+   * Complex types allowed in some calls, not others:
+   */
+  acos(cf);          // COMPLIANT
+  acosh(cf);         // COMPLIANT
+  asin(cf);          // COMPLIANT
+  asinh(cf);         // COMPLIANT
+  atan(cf);          // COMPLIANT
+  //atan2(cf, i);      // NON-COMPLIANT
+  //atan2(i, cf);      // NON-COMPLIANT
+  atanh(cf);         // COMPLIANT
+  carg(cf);          // COMPLIANT
+  //cbrt(cf);          // NON-COMPLIANT
+  //ceil(cf);          // NON-COMPLIANT
+  cimag(cf);         // COMPLIANT
+  conj(cf);          // COMPLIANT
+  //copysign(i, cf);   // NON-COMPLIANT
+  //copysign(cf, i);   // NON-COMPLIANT
+  //copysign(i, cf);   // NON-COMPLIANT
+  cos(cf);           // COMPLIANT
+  cosh(cf);          // COMPLIANT
+  cproj(cf);         // COMPLIANT
+  creal(cf);         // COMPLIANT
+  //erf(cf);           // NON-COMPLIANT
+  //erfc(cf);          // NON-COMPLIANT
+  exp(cf);           // COMPLIANT
+  //exp2(cf);          // NON-COMPLIANT
+  //expm1(cf);         // NON-COMPLIANT
+  fabs(cf);          // COMPLIANT
+  //fdim(cf, i);       // NON-COMPLIANT
+  //fdim(i, cf);       // NON-COMPLIANT
+  //floor(cf);         // NON-COMPLIANT
+  //fma(cf, i, i);     // NON-COMPLIANT
+  //fma(i, cf, i);     // NON-COMPLIANT
+  //fma(i, i, cf);     // NON-COMPLIANT
+  //fmax(cf, i);       // NON-COMPLIANT
+  //fmax(i, cf);       // NON-COMPLIANT
+  //fmin(cf, i);       // NON-COMPLIANT
+  //fmin(i, cf);       // NON-COMPLIANT
+  //fmod(cf, i);       // NON-COMPLIANT
+  //fmod(i, cf);       // NON-COMPLIANT
+  //frexp(cf, i);      // NON-COMPLIANT
+  //hypot(cf, i);      // NON-COMPLIANT
+  //hypot(i, cf);      // NON-COMPLIANT
+  //ilogb(cf);         // NON-COMPLIANT
+  //ldexp(cf, i);      // NON-COMPLIANT
+  //ldexp(i, cf);      // NON-COMPLIANT
+  //lgamma(cf);        // NON-COMPLIANT
+  //llrint(cf);        // NON-COMPLIANT
+  //llround(cf);       // NON-COMPLIANT
+  log(cf);           // COMPLIANT
+  //log10(cf);         // NON-COMPLIANT
+  //log1p(cf);         // NON-COMPLIANT
+  //log2(cf);          // NON-COMPLIANT
+  //logb(cf);          // NON-COMPLIANT
+  //lrint(cf);         // NON-COMPLIANT
+  //lround(cf);        // NON-COMPLIANT
+  //nearbyint(cf);     // NON-COMPLIANT
+  //nextafter(cf, i);  // NON-COMPLIANT
+  //nextafter(i, cf);  // NON-COMPLIANT
+  //nexttoward(cf, i); // NON-COMPLIANT
+  //nexttoward(i, cf); // NON-COMPLIANT
+  pow(cf, cf);       // COMPLIANT
+  //remainder(cf, i);  // NON-COMPLIANT
+  //remainder(i, cf);  // NON-COMPLIANT
+  //remquo(cf, i, i);  // NON-COMPLIANT
+  //remquo(i, cf, i);  // NON-COMPLIANT
+  //rint(cf);          // NON-COMPLIANT
+  //round(cf);         // NON-COMPLIANT
+  //scalbn(cf, i);     // NON-COMPLIANT
+  //scalbn(i, cf);     // NON-COMPLIANT
+  //scalbln(cf, i);    // NON-COMPLIANT
+  //scalbln(i, cf);    // NON-COMPLIANT
+  sin(cf);           // COMPLIANT
+  sinh(cf);          // COMPLIANT
+  sqrt(cf);          // COMPLIANT
+  tan(cf);           // COMPLIANT
+  tanh(cf);          // COMPLIANT
+  //tgamma(cf);        // NON-COMPLIANT
+  //trunc(cf);         // NON-COMPLIANT
+
+  /* Test output arguments thoroughly */
+  frexp(i, &i);            // COMPLIANT
+  frexp(i, vp);            // COMPLIANT
+  frexp(i, 0);             // COMPLIANT
+  frexp(i, 'c' - 'c');     // COMPLIANT
+  //frexp(i, c);             // COMPLIANT
+  remquo(i, i, &i);        // COMPLIANT
+  remquo(i, i, vp);        // COMPLIANT
+  remquo(i, i, 0);         // COMPLIANT
+  remquo(i, i, 'c' - 'c'); // COMPLIANT
+  //remquo(i, i, c);         // COMPLIANT
+
+  /* Test casts */
+  cos((char) i);  // NON-COMPLIANT
+  cos((int) c);  // COMPLIANT
+  cos((int) (char) i);  // COMPLIANT
+  cos((char) (int) c);  // NON-COMPLIANT
+}
\ No newline at end of file
diff --git a/c/misra/test/rules/RULE-21-22/test.c.gcc b/c/misra/test/rules/RULE-21-22/test.c.gcc
new file mode 100644
index 0000000000..4661a0b4f7
--- /dev/null
+++ b/c/misra/test/rules/RULE-21-22/test.c.gcc
@@ -0,0 +1,329 @@
+#include <complex.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <tgmath.h>
+
+void f1() {
+  int i = 0;
+  unsigned int ui = 0;
+  short s = 0;
+  unsigned short us = 0;
+  char c = 0;
+  unsigned char uc = 0;
+  signed char sc = 0;
+  long l = 0;
+  unsigned long ul = 0;
+  float f = 0.0f;
+  float _Complex cf = 0.0f + 0.0f * I;
+  double d = 0.0;
+  char *p = 0;
+  void *vp = 0;
+  uintptr_t uip = p;
+  enum { e1 } e = e1;
+  bool b = true;
+
+  cos(i);  // COMPLIANT
+  cos(ui); // COMPLIANT
+  cos(s);  // COMPLIANT
+  cos(us); // COMPLIANT
+  cos(c);  // NON-COMPLIANT
+  cos(uc); // COMPLIANT
+  cos(sc); // COMPLIANT
+  cos(l);  // COMPLIANT
+  cos(ul); // COMPLIANT
+  cos(f);  // COMPLIANT
+  cos(cf); // COMPLIANT
+  cos(d);  // COMPLIANT
+  // cos(p); // Doesn't compile
+  // cos(vp); // Doesn't compile
+  cos(uip);  // COMPLIANT
+  cos(e);    // NON-COMPLIANT
+  cos(b);    // NON-COMPLIANT
+  cos(1);    // COMPLIANT
+  cos(1.1f); // COMPLIANT
+  cos('a');  // NON-COMPLIANT[false negative]
+
+  /**
+   * Int, float, and complex allowed:
+   */
+  acos(i);          // COMPLIANT
+  acos(f);          // COMPLIANT
+  acosh(i);         // COMPLIANT
+  acosh(f);         // COMPLIANT
+  asin(i);          // COMPLIANT
+  asin(f);          // COMPLIANT
+  asinh(i);         // COMPLIANT
+  asinh(f);         // COMPLIANT
+  atan(i);          // COMPLIANT
+  atan(f);          // COMPLIANT
+  atan2(i, i);      // COMPLIANT
+  atan2(f, f);      // COMPLIANT
+  atanh(i);         // COMPLIANT
+  atanh(f);         // COMPLIANT
+  carg(i);          // COMPLIANT
+  carg(f);          // COMPLIANT
+  cbrt(i);          // COMPLIANT
+  cbrt(f);          // COMPLIANT
+  ceil(i);          // COMPLIANT
+  ceil(f);          // COMPLIANT
+  cimag(i);         // COMPLIANT
+  cimag(f);         // COMPLIANT
+  conj(i);          // COMPLIANT
+  conj(f);          // COMPLIANT
+  copysign(i, i);   // COMPLIANT
+  copysign(f, f);   // COMPLIANT
+  cos(i);           // COMPLIANT
+  cos(f);           // COMPLIANT
+  cosh(i);          // COMPLIANT
+  cosh(f);          // COMPLIANT
+  cproj(i);         // COMPLIANT
+  cproj(f);         // COMPLIANT
+  creal(i);         // COMPLIANT
+  creal(f);         // COMPLIANT
+  erf(i);           // COMPLIANT
+  erf(f);           // COMPLIANT
+  erfc(i);          // COMPLIANT
+  erfc(f);          // COMPLIANT
+  exp(i);           // COMPLIANT
+  exp(f);           // COMPLIANT
+  exp2(i);          // COMPLIANT
+  exp2(f);          // COMPLIANT
+  expm1(i);         // COMPLIANT
+  expm1(f);         // COMPLIANT
+  fabs(i);          // COMPLIANT
+  fabs(f);          // COMPLIANT
+  fdim(i, i);       // COMPLIANT
+  fdim(f, f);       // COMPLIANT
+  floor(i);         // COMPLIANT
+  floor(f);         // COMPLIANT
+  fma(i, i, i);     // COMPLIANT
+  fma(f, f, f);     // COMPLIANT
+  fmax(i, i);       // COMPLIANT
+  fmax(f, f);       // COMPLIANT
+  fmin(i, i);       // COMPLIANT
+  fmin(f, f);       // COMPLIANT
+  fmod(i, i);       // COMPLIANT
+  fmod(f, f);       // COMPLIANT
+  frexp(i, &i);     // COMPLIANT
+  frexp(f, &p);     // COMPLIANT
+  hypot(i, i);      // COMPLIANT
+  hypot(f, f);      // COMPLIANT
+  ilogb(i);         // COMPLIANT
+  ilogb(f);         // COMPLIANT
+  llrint(i);        // COMPLIANT
+  llrint(f);        // COMPLIANT
+  ldexp(i, i);      // COMPLIANT
+  ldexp(f, f);      // COMPLIANT
+  lgamma(i);        // COMPLIANT
+  lgamma(f);        // COMPLIANT
+  llround(i);       // COMPLIANT
+  llround(f);       // COMPLIANT
+  log(i);           // COMPLIANT
+  log(f);           // COMPLIANT
+  pow(i, i);        // COMPLIANT
+  pow(f, f);        // COMPLIANT
+  remainder(i, i);  // COMPLIANT
+  remainder(f, f);  // COMPLIANT
+  remquo(i, i, &i); // COMPLIANT
+  remquo(f, f, &f); // COMPLIANT
+  rint(i);          // COMPLIANT
+  rint(f);          // COMPLIANT
+  round(i);         // COMPLIANT
+  round(f);         // COMPLIANT
+  scalbn(i, i);     // COMPLIANT
+  scalbn(f, f);     // COMPLIANT
+  scalbln(i, i);    // COMPLIANT
+  scalbln(f, f);    // COMPLIANT
+  sin(i);           // COMPLIANT
+  sin(f);           // COMPLIANT
+  sin(cf);          // COMPLIANT
+  sinh(i);          // COMPLIANT
+  sinh(f);          // COMPLIANT
+  sqrt(i);          // COMPLIANT
+  sqrt(f);          // COMPLIANT
+  tan(i);           // COMPLIANT
+  tan(f);           // COMPLIANT
+  tanh(i);          // COMPLIANT
+  tanh(f);          // COMPLIANT
+  tgamma(i);        // COMPLIANT
+  tgamma(f);        // COMPLIANT
+  trunc(i);         // COMPLIANT
+  trunc(f);         // COMPLIANT
+
+  /**
+   * Char not allowed:
+   */
+  acos(c);          // NON-COMPLIANT
+  acosh(c);         // NON-COMPLIANT
+  asin(c);          // NON-COMPLIANT
+  asinh(c);         // NON-COMPLIANT
+  atan2(c, i);      // NON-COMPLIANT
+  atan2(i, c);      // NON-COMPLIANT
+  atanh(c);         // NON-COMPLIANT
+  carg(c);          // NON-COMPLIANT
+  ceil(c);          // NON-COMPLIANT
+  cimag(c);         // NON-COMPLIANT
+  conj(c);          // NON-COMPLIANT
+  copysign(i, c);   // NON-COMPLIANT
+  copysign(c, i);   // NON-COMPLIANT
+  cosh(c);          // NON-COMPLIANT
+  cproj(c);         // NON-COMPLIANT
+  creal(c);         // NON-COMPLIANT
+  erf(c);           // NON-COMPLIANT
+  erfc(c);          // NON-COMPLIANT
+  exp(c);           // NON-COMPLIANT
+  exp2(c);          // NON-COMPLIANT
+  expm1(c);         // NON-COMPLIANT
+  fabs(c);          // NON-COMPLIANT
+  fdim(c, i);       // NON-COMPLIANT
+  fdim(i, c);       // NON-COMPLIANT
+  floor(c);         // NON-COMPLIANT
+  fma(c, i, i);     // NON-COMPLIANT
+  fma(i, c, i);     // NON-COMPLIANT
+  fma(i, i, c);     // NON-COMPLIANT
+  fmax(c, i);       // NON-COMPLIANT
+  fmax(i, c);       // NON-COMPLIANT
+  fmin(c, i);       // NON-COMPLIANT
+  fmin(i, c);       // NON-COMPLIANT
+  fmod(c, i);       // NON-COMPLIANT
+  fmod(i, c);       // NON-COMPLIANT
+  frexp(c, i);      // NON-COMPLIANT
+  hypot(c, i);      // NON-COMPLIANT
+  hypot(i, c);      // NON-COMPLIANT
+  ilogb(c);         // NON-COMPLIANT
+  ldexp(c, i);      // NON-COMPLIANT
+  ldexp(i, c);      // NON-COMPLIANT
+  lgamma(c);        // NON-COMPLIANT
+  llrint(c);        // NON-COMPLIANT
+  llround(c);       // NON-COMPLIANT
+  log(c);           // NON-COMPLIANT
+  log10(c);         // NON-COMPLIANT
+  log1p(c);         // NON-COMPLIANT
+  log2(c);          // NON-COMPLIANT
+  logb(c);          // NON-COMPLIANT
+  lrint(c);         // NON-COMPLIANT
+  lround(c);        // NON-COMPLIANT
+  nearbyint(c);     // NON-COMPLIANT
+  nextafter(c, i);  // NON-COMPLIANT
+  nextafter(i, c);  // NON-COMPLIANT
+  nexttoward(c, i); // NON-COMPLIANT
+  nexttoward(i, c); // NON-COMPLIANT
+  pow(c, i);        // NON-COMPLIANT
+  pow(i, c);        // NON-COMPLIANT
+  remainder(c, i);  // NON-COMPLIANT
+  remainder(i, c);  // NON-COMPLIANT
+  remquo(c, i, i);  // NON-COMPLIANT
+  remquo(i, c, i);  // NON-COMPLIANT
+  rint(c);          // NON-COMPLIANT
+  round(c);         // NON-COMPLIANT
+  scalbn(c, i);     // NON-COMPLIANT
+  scalbn(i, c);     // NON-COMPLIANT
+  scalbln(c, i);    // NON-COMPLIANT
+  scalbln(i, c);    // NON-COMPLIANT
+  sin(c);           // NON-COMPLIANT
+  sinh(c);          // NON-COMPLIANT
+  sqrt(c);          // NON-COMPLIANT
+  tan(c);           // NON-COMPLIANT
+  tanh(c);          // NON-COMPLIANT
+  tgamma(c);        // NON-COMPLIANT
+  trunc(c);         // NON-COMPLIANT
+
+  /**
+   * Complex types allowed in some calls, not others:
+   */
+  acos(cf);          // COMPLIANT
+  acosh(cf);         // COMPLIANT
+  asin(cf);          // COMPLIANT
+  asinh(cf);         // COMPLIANT
+  atan(cf);          // COMPLIANT
+  //atan2(cf, i);      // NON-COMPLIANT
+  //atan2(i, cf);      // NON-COMPLIANT
+  atanh(cf);         // COMPLIANT
+  carg(cf);          // COMPLIANT
+  //cbrt(cf);          // NON-COMPLIANT
+  //ceil(cf);          // NON-COMPLIANT
+  cimag(cf);         // COMPLIANT
+  conj(cf);          // COMPLIANT
+  //copysign(i, cf);   // NON-COMPLIANT
+  //copysign(cf, i);   // NON-COMPLIANT
+  //copysign(i, cf);   // NON-COMPLIANT
+  cos(cf);           // COMPLIANT
+  cosh(cf);          // COMPLIANT
+  cproj(cf);         // COMPLIANT
+  creal(cf);         // COMPLIANT
+  //erf(cf);           // NON-COMPLIANT
+  //erfc(cf);          // NON-COMPLIANT
+  exp(cf);           // COMPLIANT
+  //exp2(cf);          // NON-COMPLIANT
+  //expm1(cf);         // NON-COMPLIANT
+  fabs(cf);          // COMPLIANT
+  //fdim(cf, i);       // NON-COMPLIANT
+  //fdim(i, cf);       // NON-COMPLIANT
+  //floor(cf);         // NON-COMPLIANT
+  //fma(cf, i, i);     // NON-COMPLIANT
+  //fma(i, cf, i);     // NON-COMPLIANT
+  //fma(i, i, cf);     // NON-COMPLIANT
+  //fmax(cf, i);       // NON-COMPLIANT
+  //fmax(i, cf);       // NON-COMPLIANT
+  //fmin(cf, i);       // NON-COMPLIANT
+  //fmin(i, cf);       // NON-COMPLIANT
+  //fmod(cf, i);       // NON-COMPLIANT
+  //fmod(i, cf);       // NON-COMPLIANT
+  //frexp(cf, i);      // NON-COMPLIANT
+  //hypot(cf, i);      // NON-COMPLIANT
+  //hypot(i, cf);      // NON-COMPLIANT
+  //ilogb(cf);         // NON-COMPLIANT
+  //ldexp(cf, i);      // NON-COMPLIANT
+  //ldexp(i, cf);      // NON-COMPLIANT
+  //lgamma(cf);        // NON-COMPLIANT
+  //llrint(cf);        // NON-COMPLIANT
+  //llround(cf);       // NON-COMPLIANT
+  log(cf);           // COMPLIANT
+  //log10(cf);         // NON-COMPLIANT
+  //log1p(cf);         // NON-COMPLIANT
+  //log2(cf);          // NON-COMPLIANT
+  //logb(cf);          // NON-COMPLIANT
+  //lrint(cf);         // NON-COMPLIANT
+  //lround(cf);        // NON-COMPLIANT
+  //nearbyint(cf);     // NON-COMPLIANT
+  //nextafter(cf, i);  // NON-COMPLIANT
+  //nextafter(i, cf);  // NON-COMPLIANT
+  //nexttoward(cf, i); // NON-COMPLIANT
+  //nexttoward(i, cf); // NON-COMPLIANT
+  pow(cf, cf);       // COMPLIANT
+  //remainder(cf, i);  // NON-COMPLIANT
+  //remainder(i, cf);  // NON-COMPLIANT
+  //remquo(cf, i, i);  // NON-COMPLIANT
+  //remquo(i, cf, i);  // NON-COMPLIANT
+  //rint(cf);          // NON-COMPLIANT
+  //round(cf);         // NON-COMPLIANT
+  //scalbn(cf, i);     // NON-COMPLIANT
+  //scalbn(i, cf);     // NON-COMPLIANT
+  //scalbln(cf, i);    // NON-COMPLIANT
+  //scalbln(i, cf);    // NON-COMPLIANT
+  sin(cf);           // COMPLIANT
+  sinh(cf);          // COMPLIANT
+  sqrt(cf);          // COMPLIANT
+  tan(cf);           // COMPLIANT
+  tanh(cf);          // COMPLIANT
+  //tgamma(cf);        // NON-COMPLIANT
+  //trunc(cf);         // NON-COMPLIANT
+
+  /* Test output arguments thoroughly */
+  frexp(i, &i);            // COMPLIANT
+  frexp(i, vp);            // COMPLIANT
+  frexp(i, 0);             // COMPLIANT
+  frexp(i, 'c' - 'c');     // COMPLIANT
+  frexp(i, c);             // COMPLIANT
+  remquo(i, i, &i);        // COMPLIANT
+  remquo(i, i, vp);        // COMPLIANT
+  remquo(i, i, 0);         // COMPLIANT
+  remquo(i, i, 'c' - 'c'); // COMPLIANT
+  remquo(i, i, c);         // COMPLIANT
+
+  /* Test casts */
+  cos((char) i);  // NON-COMPLIANT
+  cos((int) c);  // COMPLIANT
+  cos((int) (char) i);  // COMPLIANT
+  cos((char) (int) c);  // NON-COMPLIANT
+}
\ No newline at end of file
diff --git a/c/misra/test/rules/RULE-21-23/TgMathArgumentsWithDifferingStandardType.expected.clang b/c/misra/test/rules/RULE-21-23/TgMathArgumentsWithDifferingStandardType.expected.clang
new file mode 100644
index 0000000000..e6ad5c62e4
--- /dev/null
+++ b/c/misra/test/rules/RULE-21-23/TgMathArgumentsWithDifferingStandardType.expected.clang
@@ -0,0 +1,139 @@
+| test.c:95:3:95:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:96:3:96:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:97:3:97:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:98:3:98:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:99:3:99:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:100:3:100:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:101:3:101:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:102:3:102:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:103:3:103:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:104:3:104:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:105:3:105:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:106:3:106:17 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:107:3:107:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:108:3:108:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:109:3:109:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:110:3:110:17 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:111:3:111:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:112:3:112:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:113:3:113:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:114:3:114:17 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:121:3:121:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:122:3:122:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:123:3:123:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:124:3:124:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:125:3:125:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:126:3:126:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:127:3:127:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:128:3:128:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:131:3:131:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:132:3:132:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:133:3:133:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, long). |
+| test.c:134:3:134:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, long). |
+| test.c:135:3:135:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, int). |
+| test.c:136:3:136:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned int). |
+| test.c:137:3:137:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, int). |
+| test.c:138:3:138:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned int). |
+| test.c:139:3:139:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned long). |
+| test.c:140:3:140:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned long). |
+| test.c:141:3:141:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, unsigned long). |
+| test.c:142:3:142:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, unsigned long). |
+| test.c:143:3:143:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, int). |
+| test.c:144:3:144:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, unsigned int). |
+| test.c:145:3:145:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, int). |
+| test.c:146:3:146:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, unsigned int). |
+| test.c:147:3:147:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:148:3:148:17 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:149:3:149:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, long). |
+| test.c:150:3:150:17 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, long). |
+| test.c:151:3:151:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, int). |
+| test.c:152:3:152:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned int). |
+| test.c:153:3:153:17 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, int). |
+| test.c:154:3:154:17 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned int). |
+| test.c:155:3:155:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned long). |
+| test.c:156:3:156:17 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned long). |
+| test.c:157:3:157:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, unsigned long). |
+| test.c:158:3:158:17 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, unsigned long). |
+| test.c:159:3:159:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, int). |
+| test.c:160:3:160:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, unsigned int). |
+| test.c:161:3:161:17 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, int). |
+| test.c:162:3:162:17 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, unsigned int). |
+| test.c:165:3:165:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned long). |
+| test.c:166:3:166:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned long). |
+| test.c:167:3:167:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned long). |
+| test.c:168:3:168:17 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned long). |
+| test.c:169:3:169:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, long). |
+| test.c:170:3:170:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, long). |
+| test.c:171:3:171:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, long). |
+| test.c:172:3:172:17 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, long). |
+| test.c:175:3:175:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (float, double). |
+| test.c:176:3:176:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (float, long double). |
+| test.c:177:3:177:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (double, float). |
+| test.c:178:3:178:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (double, long double). |
+| test.c:179:3:179:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long double, float). |
+| test.c:180:3:180:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long double, double). |
+| test.c:183:3:183:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:184:3:184:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:185:3:185:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:186:3:186:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:187:3:187:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:188:3:188:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:189:3:189:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:190:3:190:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:191:3:191:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:192:3:192:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:193:3:193:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:194:3:194:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:195:3:195:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:196:3:196:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:197:3:197:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:198:3:198:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:199:3:199:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:200:3:200:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:201:3:201:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:202:3:202:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:203:3:203:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:204:3:204:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:205:3:205:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:206:3:206:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:207:3:207:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:208:3:208:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:209:3:209:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:210:3:210:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:211:3:211:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:212:3:212:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:213:3:213:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, float). |
+| test.c:214:3:214:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, double). |
+| test.c:215:3:215:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, long double). |
+| test.c:216:3:216:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, float). |
+| test.c:217:3:217:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, double). |
+| test.c:218:3:218:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, long double). |
+| test.c:219:3:219:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, float). |
+| test.c:220:3:220:13 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, double). |
+| test.c:221:3:221:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, long double). |
+| test.c:222:3:222:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, float). |
+| test.c:223:3:223:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, double). |
+| test.c:224:3:224:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, long double). |
+| test.c:225:3:225:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, float). |
+| test.c:226:3:226:14 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, double). |
+| test.c:227:3:227:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, long double). |
+| test.c:228:3:228:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, float). |
+| test.c:229:3:229:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, double). |
+| test.c:230:3:230:16 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, long double). |
+| test.c:235:3:235:15 | atan2(__x,__y) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:242:3:242:16 | copysign(__x,__y) | Call to type-generic macro 'copysign' has arguments with differing standard types (int, float). |
+| test.c:245:3:245:12 | fdim(__x,__y) | Call to type-generic macro 'fdim' has arguments with differing standard types (int, float). |
+| test.c:248:3:248:14 | fma(__x,__y,__z) | Call to type-generic macro 'fma' has arguments with differing standard types (float, int, int). |
+| test.c:249:3:249:14 | fma(__x,__y,__z) | Call to type-generic macro 'fma' has arguments with differing standard types (int, float, int). |
+| test.c:250:3:250:14 | fma(__x,__y,__z) | Call to type-generic macro 'fma' has arguments with differing standard types (int, int, float). |
+| test.c:253:3:253:12 | fmax(__x,__y) | Call to type-generic macro 'fmax' has arguments with differing standard types (int, float). |
+| test.c:256:3:256:12 | fmin(__x,__y) | Call to type-generic macro 'fmin' has arguments with differing standard types (int, float). |
+| test.c:259:3:259:12 | fmod(__x,__y) | Call to type-generic macro 'fmod' has arguments with differing standard types (int, float). |
+| test.c:262:3:262:13 | hypot(__x,__y) | Call to type-generic macro 'hypot' has arguments with differing standard types (int, float). |
+| test.c:265:3:265:13 | ldexp(__x,__y) | Call to type-generic macro 'ldexp' has arguments with differing standard types (int, float). |
+| test.c:268:3:268:17 | nextafter(__x,__y) | Call to type-generic macro 'nextafter' has arguments with differing standard types (int, float). |
+| test.c:271:3:271:18 | nexttoward(__x,__y) | Call to type-generic macro 'nexttoward' has arguments with differing standard types (int, float). |
+| test.c:274:3:274:17 | remainder(__x,__y) | Call to type-generic macro 'remainder' has arguments with differing standard types (int, float). |
+| test.c:277:3:277:17 | remquo(__x,__y,__z) | Call to type-generic macro 'remquo' has arguments with differing standard types (int, float). |
+| test.c:280:3:280:15 | scalbln(__x,__y) | Call to type-generic macro 'scalbln' has arguments with differing standard types (int, float). |
+| test.c:283:3:283:14 | scalbn(__x,__y) | Call to type-generic macro 'scalbn' has arguments with differing standard types (int, float). |
diff --git a/c/misra/test/rules/RULE-21-23/TgMathArgumentsWithDifferingStandardType.expected.gcc b/c/misra/test/rules/RULE-21-23/TgMathArgumentsWithDifferingStandardType.expected.gcc
new file mode 100644
index 0000000000..f8c610f8c2
--- /dev/null
+++ b/c/misra/test/rules/RULE-21-23/TgMathArgumentsWithDifferingStandardType.expected.gcc
@@ -0,0 +1,139 @@
+| test.c:95:3:95:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:96:3:96:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:97:3:97:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:98:3:98:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:99:3:99:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:100:3:100:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:101:3:101:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:102:3:102:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:103:3:103:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:104:3:104:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:105:3:105:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:106:3:106:17 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:107:3:107:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:108:3:108:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:109:3:109:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:110:3:110:17 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:111:3:111:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:112:3:112:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:113:3:113:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:114:3:114:17 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned int). |
+| test.c:121:3:121:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:122:3:122:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:123:3:123:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:124:3:124:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:125:3:125:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:126:3:126:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:127:3:127:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:128:3:128:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:131:3:131:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:132:3:132:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:133:3:133:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, long). |
+| test.c:134:3:134:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, long). |
+| test.c:135:3:135:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, int). |
+| test.c:136:3:136:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned int). |
+| test.c:137:3:137:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, int). |
+| test.c:138:3:138:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned int). |
+| test.c:139:3:139:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned long). |
+| test.c:140:3:140:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned long). |
+| test.c:141:3:141:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, unsigned long). |
+| test.c:142:3:142:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, unsigned long). |
+| test.c:143:3:143:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, int). |
+| test.c:144:3:144:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, unsigned int). |
+| test.c:145:3:145:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, int). |
+| test.c:146:3:146:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, unsigned int). |
+| test.c:147:3:147:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:148:3:148:17 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long). |
+| test.c:149:3:149:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, long). |
+| test.c:150:3:150:17 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, long). |
+| test.c:151:3:151:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, int). |
+| test.c:152:3:152:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned int). |
+| test.c:153:3:153:17 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, int). |
+| test.c:154:3:154:17 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned int). |
+| test.c:155:3:155:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned long). |
+| test.c:156:3:156:17 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, unsigned long). |
+| test.c:157:3:157:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, unsigned long). |
+| test.c:158:3:158:17 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, unsigned long). |
+| test.c:159:3:159:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, int). |
+| test.c:160:3:160:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, unsigned int). |
+| test.c:161:3:161:17 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, int). |
+| test.c:162:3:162:17 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, unsigned int). |
+| test.c:165:3:165:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned long). |
+| test.c:166:3:166:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned long). |
+| test.c:167:3:167:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned long). |
+| test.c:168:3:168:17 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, unsigned long). |
+| test.c:169:3:169:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, long). |
+| test.c:170:3:170:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, long). |
+| test.c:171:3:171:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, long). |
+| test.c:172:3:172:17 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, long). |
+| test.c:175:3:175:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (float, double). |
+| test.c:176:3:176:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (float, long double). |
+| test.c:177:3:177:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (double, float). |
+| test.c:178:3:178:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (double, long double). |
+| test.c:179:3:179:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long double, float). |
+| test.c:180:3:180:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long double, double). |
+| test.c:183:3:183:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:184:3:184:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:185:3:185:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:186:3:186:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:187:3:187:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:188:3:188:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:189:3:189:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:190:3:190:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:191:3:191:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:192:3:192:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:193:3:193:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:194:3:194:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:195:3:195:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:196:3:196:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:197:3:197:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:198:3:198:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:199:3:199:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:200:3:200:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:201:3:201:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:202:3:202:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:203:3:203:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:204:3:204:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:205:3:205:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:206:3:206:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:207:3:207:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:208:3:208:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:209:3:209:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:210:3:210:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:211:3:211:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, double). |
+| test.c:212:3:212:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, long double). |
+| test.c:213:3:213:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, float). |
+| test.c:214:3:214:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, double). |
+| test.c:215:3:215:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, long double). |
+| test.c:216:3:216:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, float). |
+| test.c:217:3:217:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, double). |
+| test.c:218:3:218:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned int, long double). |
+| test.c:219:3:219:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, float). |
+| test.c:220:3:220:13 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, double). |
+| test.c:221:3:221:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, long double). |
+| test.c:222:3:222:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, float). |
+| test.c:223:3:223:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, double). |
+| test.c:224:3:224:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (long, long double). |
+| test.c:225:3:225:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, float). |
+| test.c:226:3:226:14 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, double). |
+| test.c:227:3:227:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, long double). |
+| test.c:228:3:228:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, float). |
+| test.c:229:3:229:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, double). |
+| test.c:230:3:230:16 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (unsigned long, long double). |
+| test.c:235:3:235:15 | atan2(Val1,Val2) | Call to type-generic macro 'atan2' has arguments with differing standard types (int, float). |
+| test.c:242:3:242:16 | copysign(Val1,Val2) | Call to type-generic macro 'copysign' has arguments with differing standard types (int, float). |
+| test.c:245:3:245:12 | fdim(Val1,Val2) | Call to type-generic macro 'fdim' has arguments with differing standard types (int, float). |
+| test.c:248:3:248:14 | fma(Val1,Val2,Val3) | Call to type-generic macro 'fma' has arguments with differing standard types (float, int, int). |
+| test.c:249:3:249:14 | fma(Val1,Val2,Val3) | Call to type-generic macro 'fma' has arguments with differing standard types (int, float, int). |
+| test.c:250:3:250:14 | fma(Val1,Val2,Val3) | Call to type-generic macro 'fma' has arguments with differing standard types (int, int, float). |
+| test.c:253:3:253:12 | fmax(Val1,Val2) | Call to type-generic macro 'fmax' has arguments with differing standard types (int, float). |
+| test.c:256:3:256:12 | fmin(Val1,Val2) | Call to type-generic macro 'fmin' has arguments with differing standard types (int, float). |
+| test.c:259:3:259:12 | fmod(Val1,Val2) | Call to type-generic macro 'fmod' has arguments with differing standard types (int, float). |
+| test.c:262:3:262:13 | hypot(Val1,Val2) | Call to type-generic macro 'hypot' has arguments with differing standard types (int, float). |
+| test.c:265:3:265:13 | ldexp(Val1,Val2) | Call to type-generic macro 'ldexp' has arguments with differing standard types (int, float). |
+| test.c:268:3:268:17 | nextafter(Val1,Val2) | Call to type-generic macro 'nextafter' has arguments with differing standard types (int, float). |
+| test.c:271:3:271:18 | nexttoward(Val1,Val2) | Call to type-generic macro 'nexttoward' has arguments with differing standard types (int, float). |
+| test.c:274:3:274:17 | remainder(Val1,Val2) | Call to type-generic macro 'remainder' has arguments with differing standard types (int, float). |
+| test.c:277:3:277:17 | remquo(Val1,Val2,Val3) | Call to type-generic macro 'remquo' has arguments with differing standard types (int, float). |
+| test.c:280:3:280:15 | scalbln(Val1,Val2) | Call to type-generic macro 'scalbln' has arguments with differing standard types (int, float). |
+| test.c:283:3:283:14 | scalbn(Val1,Val2) | Call to type-generic macro 'scalbn' has arguments with differing standard types (int, float). |
diff --git a/c/misra/test/rules/RULE-21-25/InvalidMemoryOrderArgument.expected b/c/misra/test/rules/RULE-21-25/InvalidMemoryOrderArgument.expected
index 967621d71f..0b17405a0e 100644
--- a/c/misra/test/rules/RULE-21-25/InvalidMemoryOrderArgument.expected
+++ b/c/misra/test/rules/RULE-21-25/InvalidMemoryOrderArgument.expected
@@ -1,33 +1,33 @@
 edges
-| test.c:4:5:4:6 | *g2 | test.c:53:33:53:34 | g2 | provenance |  |
-| test.c:4:5:4:6 | *g2 | test.c:54:29:54:30 | g2 | provenance |  |
-| test.c:4:5:4:6 | *g2 | test.c:55:42:55:43 | g2 | provenance |  |
-| test.c:4:5:4:6 | *g2 | test.c:56:35:56:36 | g2 | provenance |  |
-| test.c:4:5:4:6 | *g2 | test.c:57:36:57:37 | g2 | provenance |  |
-| test.c:4:5:4:6 | *g2 | test.c:58:54:58:55 | g2 | provenance |  |
-| test.c:4:5:4:6 | *g2 | test.c:59:58:59:59 | g2 | provenance |  |
-| test.c:4:5:4:6 | *g2 | test.c:60:52:60:53 | g2 | provenance |  |
-| test.c:4:5:4:6 | *g2 | test.c:61:56:61:57 | g2 | provenance |  |
-| test.c:4:5:4:6 | *g2 | test.c:62:37:62:38 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:54:33:54:34 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:55:29:55:30 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:56:42:56:43 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:57:35:57:36 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:58:36:58:37 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:59:56:59:57 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:60:60:60:61 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:61:54:61:55 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:62:58:62:59 | g2 | provenance |  |
 | test.c:4:5:4:6 | *g2 | test.c:63:37:63:38 | g2 | provenance |  |
-| test.c:4:5:4:6 | *g2 | test.c:64:36:64:37 | g2 | provenance |  |
-| test.c:4:5:4:6 | *g2 | test.c:65:37:65:38 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:64:37:64:38 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:65:36:65:37 | g2 | provenance |  |
 | test.c:4:5:4:6 | *g2 | test.c:66:37:66:38 | g2 | provenance |  |
-| test.c:4:5:4:6 | *g2 | test.c:67:23:67:24 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:67:37:67:38 | g2 | provenance |  |
 | test.c:4:5:4:6 | *g2 | test.c:68:23:68:24 | g2 | provenance |  |
-| test.c:4:5:4:6 | *g2 | test.c:71:23:71:24 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:69:23:69:24 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:72:23:72:24 | g2 | provenance |  |
 | test.c:4:10:4:29 | memory_order_relaxed | test.c:4:5:4:6 | *g2 | provenance |  |
 | test.c:4:10:4:29 | memory_order_relaxed | test.c:4:10:4:29 | memory_order_relaxed | provenance |  |
-| test.c:5:5:5:6 | *g3 | test.c:72:23:72:24 | g3 | provenance |  |
+| test.c:5:5:5:6 | *g3 | test.c:73:23:73:24 | g3 | provenance |  |
 | test.c:5:10:5:29 | memory_order_acquire | test.c:5:5:5:6 | *g3 | provenance |  |
 | test.c:5:10:5:29 | memory_order_acquire | test.c:5:10:5:29 | memory_order_acquire | provenance |  |
-| test.c:6:5:6:6 | *g4 | test.c:73:23:73:24 | g4 | provenance |  |
+| test.c:6:5:6:6 | *g4 | test.c:74:23:74:24 | g4 | provenance |  |
 | test.c:6:10:6:29 | memory_order_consume | test.c:6:5:6:6 | *g4 | provenance |  |
 | test.c:6:10:6:29 | memory_order_consume | test.c:6:10:6:29 | memory_order_consume | provenance |  |
-| test.c:7:5:7:6 | *g5 | test.c:74:23:74:24 | g5 | provenance |  |
+| test.c:7:5:7:6 | *g5 | test.c:75:23:75:24 | g5 | provenance |  |
 | test.c:7:10:7:29 | memory_order_acq_rel | test.c:7:5:7:6 | *g5 | provenance |  |
 | test.c:7:10:7:29 | memory_order_acq_rel | test.c:7:10:7:29 | memory_order_acq_rel | provenance |  |
-| test.c:8:5:8:6 | *g6 | test.c:75:23:75:24 | g6 | provenance |  |
+| test.c:8:5:8:6 | *g6 | test.c:76:23:76:24 | g6 | provenance |  |
 | test.c:8:10:8:29 | memory_order_release | test.c:8:5:8:6 | *g6 | provenance |  |
 | test.c:8:10:8:29 | memory_order_release | test.c:8:10:8:29 | memory_order_release | provenance |  |
 nodes
@@ -46,61 +46,61 @@ nodes
 | test.c:8:5:8:6 | *g6 | semmle.label | *g6 |
 | test.c:8:10:8:29 | memory_order_release | semmle.label | memory_order_release |
 | test.c:8:10:8:29 | memory_order_release | semmle.label | memory_order_release |
-| test.c:16:29:16:48 | memory_order_relaxed | semmle.label | memory_order_relaxed |
-| test.c:17:29:17:48 | memory_order_acquire | semmle.label | memory_order_acquire |
-| test.c:18:29:18:48 | memory_order_consume | semmle.label | memory_order_consume |
-| test.c:19:29:19:48 | memory_order_acq_rel | semmle.label | memory_order_acq_rel |
-| test.c:20:29:20:48 | memory_order_release | semmle.label | memory_order_release |
-| test.c:53:33:53:34 | g2 | semmle.label | g2 |
-| test.c:54:29:54:30 | g2 | semmle.label | g2 |
-| test.c:55:42:55:43 | g2 | semmle.label | g2 |
-| test.c:56:35:56:36 | g2 | semmle.label | g2 |
-| test.c:57:36:57:37 | g2 | semmle.label | g2 |
-| test.c:58:54:58:55 | g2 | semmle.label | g2 |
-| test.c:59:58:59:59 | g2 | semmle.label | g2 |
-| test.c:60:52:60:53 | g2 | semmle.label | g2 |
-| test.c:61:56:61:57 | g2 | semmle.label | g2 |
-| test.c:62:37:62:38 | g2 | semmle.label | g2 |
+| test.c:17:29:17:48 | memory_order_relaxed | semmle.label | memory_order_relaxed |
+| test.c:18:29:18:48 | memory_order_acquire | semmle.label | memory_order_acquire |
+| test.c:19:29:19:48 | memory_order_consume | semmle.label | memory_order_consume |
+| test.c:20:29:20:48 | memory_order_acq_rel | semmle.label | memory_order_acq_rel |
+| test.c:21:29:21:48 | memory_order_release | semmle.label | memory_order_release |
+| test.c:54:33:54:34 | g2 | semmle.label | g2 |
+| test.c:55:29:55:30 | g2 | semmle.label | g2 |
+| test.c:56:42:56:43 | g2 | semmle.label | g2 |
+| test.c:57:35:57:36 | g2 | semmle.label | g2 |
+| test.c:58:36:58:37 | g2 | semmle.label | g2 |
+| test.c:59:56:59:57 | g2 | semmle.label | g2 |
+| test.c:60:60:60:61 | g2 | semmle.label | g2 |
+| test.c:61:54:61:55 | g2 | semmle.label | g2 |
+| test.c:62:58:62:59 | g2 | semmle.label | g2 |
 | test.c:63:37:63:38 | g2 | semmle.label | g2 |
-| test.c:64:36:64:37 | g2 | semmle.label | g2 |
-| test.c:65:37:65:38 | g2 | semmle.label | g2 |
+| test.c:64:37:64:38 | g2 | semmle.label | g2 |
+| test.c:65:36:65:37 | g2 | semmle.label | g2 |
 | test.c:66:37:66:38 | g2 | semmle.label | g2 |
-| test.c:67:23:67:24 | g2 | semmle.label | g2 |
+| test.c:67:37:67:38 | g2 | semmle.label | g2 |
 | test.c:68:23:68:24 | g2 | semmle.label | g2 |
-| test.c:71:23:71:24 | g2 | semmle.label | g2 |
-| test.c:72:23:72:24 | g3 | semmle.label | g3 |
-| test.c:73:23:73:24 | g4 | semmle.label | g4 |
-| test.c:74:23:74:24 | g5 | semmle.label | g5 |
-| test.c:75:23:75:24 | g6 | semmle.label | g6 |
-| test.c:79:23:79:23 | 1 | semmle.label | 1 |
-| test.c:80:23:80:25 | 100 | semmle.label | 100 |
+| test.c:69:23:69:24 | g2 | semmle.label | g2 |
+| test.c:72:23:72:24 | g2 | semmle.label | g2 |
+| test.c:73:23:73:24 | g3 | semmle.label | g3 |
+| test.c:74:23:74:24 | g4 | semmle.label | g4 |
+| test.c:75:23:75:24 | g5 | semmle.label | g5 |
+| test.c:76:23:76:24 | g6 | semmle.label | g6 |
+| test.c:80:23:80:23 | 1 | semmle.label | 1 |
+| test.c:81:23:81:25 | 100 | semmle.label | 100 |
 subpaths
 #select
-| test.c:16:29:16:48 | memory_order_relaxed | test.c:16:29:16:48 | memory_order_relaxed | test.c:16:29:16:48 | memory_order_relaxed | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_load | __c11_atomic_load |
-| test.c:17:29:17:48 | memory_order_acquire | test.c:17:29:17:48 | memory_order_acquire | test.c:17:29:17:48 | memory_order_acquire | Invalid memory order '$@' in call to function '$@'. | memory_order_acquire | memory_order_acquire | file://:0:0:0:0 | __c11_atomic_load | __c11_atomic_load |
-| test.c:18:29:18:48 | memory_order_consume | test.c:18:29:18:48 | memory_order_consume | test.c:18:29:18:48 | memory_order_consume | Invalid memory order '$@' in call to function '$@'. | memory_order_consume | memory_order_consume | file://:0:0:0:0 | __c11_atomic_load | __c11_atomic_load |
-| test.c:19:29:19:48 | memory_order_acq_rel | test.c:19:29:19:48 | memory_order_acq_rel | test.c:19:29:19:48 | memory_order_acq_rel | Invalid memory order '$@' in call to function '$@'. | memory_order_acq_rel | memory_order_acq_rel | file://:0:0:0:0 | __c11_atomic_load | __c11_atomic_load |
-| test.c:20:29:20:48 | memory_order_release | test.c:20:29:20:48 | memory_order_release | test.c:20:29:20:48 | memory_order_release | Invalid memory order '$@' in call to function '$@'. | memory_order_release | memory_order_release | file://:0:0:0:0 | __c11_atomic_load | __c11_atomic_load |
-| test.c:53:33:53:34 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:53:33:53:34 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_store | __c11_atomic_store |
-| test.c:54:29:54:30 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:54:29:54:30 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_load | __c11_atomic_load |
-| test.c:55:42:55:43 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:55:42:55:43 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_exchange | __c11_atomic_exchange |
-| test.c:56:35:56:36 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:56:35:56:36 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_store | __c11_atomic_store |
-| test.c:57:36:57:37 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:57:36:57:37 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_exchange | __c11_atomic_exchange |
-| test.c:58:54:58:55 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:58:54:58:55 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_compare_exchange_strong | __c11_atomic_compare_exchange_strong |
-| test.c:59:58:59:59 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:59:58:59:59 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_compare_exchange_strong | __c11_atomic_compare_exchange_strong |
-| test.c:60:52:60:53 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:60:52:60:53 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_compare_exchange_weak | __c11_atomic_compare_exchange_weak |
-| test.c:61:56:61:57 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:61:56:61:57 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_compare_exchange_weak | __c11_atomic_compare_exchange_weak |
-| test.c:62:37:62:38 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:62:37:62:38 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_fetch_add | __c11_atomic_fetch_add |
-| test.c:63:37:63:38 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:63:37:63:38 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_fetch_sub | __c11_atomic_fetch_sub |
-| test.c:64:36:64:37 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:64:36:64:37 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_fetch_or | __c11_atomic_fetch_or |
-| test.c:65:37:65:38 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:65:37:65:38 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_fetch_xor | __c11_atomic_fetch_xor |
-| test.c:66:37:66:38 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:66:37:66:38 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_fetch_and | __c11_atomic_fetch_and |
-| test.c:67:23:67:24 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:67:23:67:24 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_thread_fence | __c11_atomic_thread_fence |
-| test.c:68:23:68:24 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:68:23:68:24 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_signal_fence | __c11_atomic_signal_fence |
-| test.c:71:23:71:24 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:71:23:71:24 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | file://:0:0:0:0 | __c11_atomic_thread_fence | __c11_atomic_thread_fence |
-| test.c:72:23:72:24 | g3 | test.c:5:10:5:29 | memory_order_acquire | test.c:72:23:72:24 | g3 | Invalid memory order '$@' in call to function '$@'. | memory_order_acquire | memory_order_acquire | file://:0:0:0:0 | __c11_atomic_thread_fence | __c11_atomic_thread_fence |
-| test.c:73:23:73:24 | g4 | test.c:6:10:6:29 | memory_order_consume | test.c:73:23:73:24 | g4 | Invalid memory order '$@' in call to function '$@'. | memory_order_consume | memory_order_consume | file://:0:0:0:0 | __c11_atomic_thread_fence | __c11_atomic_thread_fence |
-| test.c:74:23:74:24 | g5 | test.c:7:10:7:29 | memory_order_acq_rel | test.c:74:23:74:24 | g5 | Invalid memory order '$@' in call to function '$@'. | memory_order_acq_rel | memory_order_acq_rel | file://:0:0:0:0 | __c11_atomic_thread_fence | __c11_atomic_thread_fence |
-| test.c:75:23:75:24 | g6 | test.c:8:10:8:29 | memory_order_release | test.c:75:23:75:24 | g6 | Invalid memory order '$@' in call to function '$@'. | memory_order_release | memory_order_release | file://:0:0:0:0 | __c11_atomic_thread_fence | __c11_atomic_thread_fence |
-| test.c:79:23:79:23 | 1 | test.c:79:23:79:23 | 1 | test.c:79:23:79:23 | 1 | Invalid memory order '$@' in call to function '$@'. | memory_order_consume | memory_order_consume | file://:0:0:0:0 | __c11_atomic_thread_fence | __c11_atomic_thread_fence |
-| test.c:80:23:80:25 | 100 | test.c:80:23:80:25 | 100 | test.c:80:23:80:25 | 100 | Invalid memory order '$@' in call to function '$@'. | 100 | 100 | file://:0:0:0:0 | __c11_atomic_thread_fence | __c11_atomic_thread_fence |
+| test.c:17:29:17:48 | memory_order_relaxed | test.c:17:29:17:48 | memory_order_relaxed | test.c:17:29:17:48 | memory_order_relaxed | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_load_explicit |
+| test.c:18:29:18:48 | memory_order_acquire | test.c:18:29:18:48 | memory_order_acquire | test.c:18:29:18:48 | memory_order_acquire | Invalid memory order '$@' in call to function '$@'. | memory_order_acquire | memory_order_acquire | Invocation of a standard function implemented as a macro | atomic_load_explicit |
+| test.c:19:29:19:48 | memory_order_consume | test.c:19:29:19:48 | memory_order_consume | test.c:19:29:19:48 | memory_order_consume | Invalid memory order '$@' in call to function '$@'. | memory_order_consume | memory_order_consume | Invocation of a standard function implemented as a macro | atomic_load_explicit |
+| test.c:20:29:20:48 | memory_order_acq_rel | test.c:20:29:20:48 | memory_order_acq_rel | test.c:20:29:20:48 | memory_order_acq_rel | Invalid memory order '$@' in call to function '$@'. | memory_order_acq_rel | memory_order_acq_rel | Invocation of a standard function implemented as a macro | atomic_load_explicit |
+| test.c:21:29:21:48 | memory_order_release | test.c:21:29:21:48 | memory_order_release | test.c:21:29:21:48 | memory_order_release | Invalid memory order '$@' in call to function '$@'. | memory_order_release | memory_order_release | Invocation of a standard function implemented as a macro | atomic_load_explicit |
+| test.c:54:33:54:34 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:54:33:54:34 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_store_explicit |
+| test.c:55:29:55:30 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:55:29:55:30 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_load_explicit |
+| test.c:56:42:56:43 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:56:42:56:43 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_flag_test_and_set_explicit |
+| test.c:57:35:57:36 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:57:35:57:36 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_flag_clear_explicit |
+| test.c:58:36:58:37 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:58:36:58:37 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_exchange_explicit |
+| test.c:59:56:59:57 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:59:56:59:57 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_compare_exchange_strong_explicit |
+| test.c:60:60:60:61 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:60:60:60:61 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_compare_exchange_strong_explicit |
+| test.c:61:54:61:55 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:61:54:61:55 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_compare_exchange_weak_explicit |
+| test.c:62:58:62:59 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:62:58:62:59 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_compare_exchange_weak_explicit |
+| test.c:63:37:63:38 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:63:37:63:38 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_fetch_add_explicit |
+| test.c:64:37:64:38 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:64:37:64:38 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_fetch_sub_explicit |
+| test.c:65:36:65:37 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:65:36:65:37 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_fetch_or_explicit |
+| test.c:66:37:66:38 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:66:37:66:38 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_fetch_xor_explicit |
+| test.c:67:37:67:38 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:67:37:67:38 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_fetch_and_explicit |
+| test.c:68:23:68:24 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:68:23:68:24 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:69:23:69:24 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:69:23:69:24 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_signal_fence |
+| test.c:72:23:72:24 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:72:23:72:24 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:73:23:73:24 | g3 | test.c:5:10:5:29 | memory_order_acquire | test.c:73:23:73:24 | g3 | Invalid memory order '$@' in call to function '$@'. | memory_order_acquire | memory_order_acquire | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:74:23:74:24 | g4 | test.c:6:10:6:29 | memory_order_consume | test.c:74:23:74:24 | g4 | Invalid memory order '$@' in call to function '$@'. | memory_order_consume | memory_order_consume | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:75:23:75:24 | g5 | test.c:7:10:7:29 | memory_order_acq_rel | test.c:75:23:75:24 | g5 | Invalid memory order '$@' in call to function '$@'. | memory_order_acq_rel | memory_order_acq_rel | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:76:23:76:24 | g6 | test.c:8:10:8:29 | memory_order_release | test.c:76:23:76:24 | g6 | Invalid memory order '$@' in call to function '$@'. | memory_order_release | memory_order_release | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:80:23:80:23 | 1 | test.c:80:23:80:23 | 1 | test.c:80:23:80:23 | 1 | Invalid memory order '$@' in call to function '$@'. | memory_order_consume | memory_order_consume | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:81:23:81:25 | 100 | test.c:81:23:81:25 | 100 | test.c:81:23:81:25 | 100 | Invalid memory order '$@' in call to function '$@'. | 100 | 100 | Invocation of a standard function implemented as a macro | atomic_thread_fence |
diff --git a/c/misra/test/rules/RULE-21-25/InvalidMemoryOrderArgument.expected.gcc b/c/misra/test/rules/RULE-21-25/InvalidMemoryOrderArgument.expected.gcc
new file mode 100644
index 0000000000..db07e0aa33
--- /dev/null
+++ b/c/misra/test/rules/RULE-21-25/InvalidMemoryOrderArgument.expected.gcc
@@ -0,0 +1,106 @@
+edges
+| test.c:4:5:4:6 | *g2 | test.c:54:33:54:34 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:55:29:55:30 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:56:42:56:43 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:57:35:57:36 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:58:36:58:37 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:59:56:59:57 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:60:60:60:61 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:61:54:61:55 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:62:58:62:59 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:63:37:63:38 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:64:37:64:38 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:65:36:65:37 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:66:37:66:38 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:67:37:67:38 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:68:23:68:24 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:69:23:69:24 | g2 | provenance |  |
+| test.c:4:5:4:6 | *g2 | test.c:72:23:72:24 | g2 | provenance |  |
+| test.c:4:10:4:29 | memory_order_relaxed | test.c:4:5:4:6 | *g2 | provenance |  |
+| test.c:4:10:4:29 | memory_order_relaxed | test.c:4:10:4:29 | memory_order_relaxed | provenance |  |
+| test.c:5:5:5:6 | *g3 | test.c:73:23:73:24 | g3 | provenance |  |
+| test.c:5:10:5:29 | memory_order_acquire | test.c:5:5:5:6 | *g3 | provenance |  |
+| test.c:5:10:5:29 | memory_order_acquire | test.c:5:10:5:29 | memory_order_acquire | provenance |  |
+| test.c:6:5:6:6 | *g4 | test.c:74:23:74:24 | g4 | provenance |  |
+| test.c:6:10:6:29 | memory_order_consume | test.c:6:5:6:6 | *g4 | provenance |  |
+| test.c:6:10:6:29 | memory_order_consume | test.c:6:10:6:29 | memory_order_consume | provenance |  |
+| test.c:7:5:7:6 | *g5 | test.c:75:23:75:24 | g5 | provenance |  |
+| test.c:7:10:7:29 | memory_order_acq_rel | test.c:7:5:7:6 | *g5 | provenance |  |
+| test.c:7:10:7:29 | memory_order_acq_rel | test.c:7:10:7:29 | memory_order_acq_rel | provenance |  |
+| test.c:8:5:8:6 | *g6 | test.c:76:23:76:24 | g6 | provenance |  |
+| test.c:8:10:8:29 | memory_order_release | test.c:8:5:8:6 | *g6 | provenance |  |
+| test.c:8:10:8:29 | memory_order_release | test.c:8:10:8:29 | memory_order_release | provenance |  |
+nodes
+| test.c:4:5:4:6 | *g2 | semmle.label | *g2 |
+| test.c:4:10:4:29 | memory_order_relaxed | semmle.label | memory_order_relaxed |
+| test.c:4:10:4:29 | memory_order_relaxed | semmle.label | memory_order_relaxed |
+| test.c:5:5:5:6 | *g3 | semmle.label | *g3 |
+| test.c:5:10:5:29 | memory_order_acquire | semmle.label | memory_order_acquire |
+| test.c:5:10:5:29 | memory_order_acquire | semmle.label | memory_order_acquire |
+| test.c:6:5:6:6 | *g4 | semmle.label | *g4 |
+| test.c:6:10:6:29 | memory_order_consume | semmle.label | memory_order_consume |
+| test.c:6:10:6:29 | memory_order_consume | semmle.label | memory_order_consume |
+| test.c:7:5:7:6 | *g5 | semmle.label | *g5 |
+| test.c:7:10:7:29 | memory_order_acq_rel | semmle.label | memory_order_acq_rel |
+| test.c:7:10:7:29 | memory_order_acq_rel | semmle.label | memory_order_acq_rel |
+| test.c:8:5:8:6 | *g6 | semmle.label | *g6 |
+| test.c:8:10:8:29 | memory_order_release | semmle.label | memory_order_release |
+| test.c:8:10:8:29 | memory_order_release | semmle.label | memory_order_release |
+| test.c:17:3:17:49 | memory_order_relaxed | semmle.label | memory_order_relaxed |
+| test.c:18:3:18:49 | memory_order_acquire | semmle.label | memory_order_acquire |
+| test.c:19:3:19:49 | memory_order_consume | semmle.label | memory_order_consume |
+| test.c:20:3:20:49 | memory_order_acq_rel | semmle.label | memory_order_acq_rel |
+| test.c:21:3:21:49 | memory_order_release | semmle.label | memory_order_release |
+| test.c:54:33:54:34 | g2 | semmle.label | g2 |
+| test.c:55:29:55:30 | g2 | semmle.label | g2 |
+| test.c:56:42:56:43 | g2 | semmle.label | g2 |
+| test.c:57:35:57:36 | g2 | semmle.label | g2 |
+| test.c:58:36:58:37 | g2 | semmle.label | g2 |
+| test.c:59:56:59:57 | g2 | semmle.label | g2 |
+| test.c:60:60:60:61 | g2 | semmle.label | g2 |
+| test.c:61:54:61:55 | g2 | semmle.label | g2 |
+| test.c:62:58:62:59 | g2 | semmle.label | g2 |
+| test.c:63:37:63:38 | g2 | semmle.label | g2 |
+| test.c:64:37:64:38 | g2 | semmle.label | g2 |
+| test.c:65:36:65:37 | g2 | semmle.label | g2 |
+| test.c:66:37:66:38 | g2 | semmle.label | g2 |
+| test.c:67:37:67:38 | g2 | semmle.label | g2 |
+| test.c:68:23:68:24 | g2 | semmle.label | g2 |
+| test.c:69:23:69:24 | g2 | semmle.label | g2 |
+| test.c:72:23:72:24 | g2 | semmle.label | g2 |
+| test.c:73:23:73:24 | g3 | semmle.label | g3 |
+| test.c:74:23:74:24 | g4 | semmle.label | g4 |
+| test.c:75:23:75:24 | g5 | semmle.label | g5 |
+| test.c:76:23:76:24 | g6 | semmle.label | g6 |
+| test.c:80:23:80:23 | 1 | semmle.label | 1 |
+| test.c:81:23:81:25 | 100 | semmle.label | 100 |
+subpaths
+#select
+| test.c:17:3:17:49 | memory_order_relaxed | test.c:17:3:17:49 | memory_order_relaxed | test.c:17:3:17:49 | memory_order_relaxed | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_load_explicit |
+| test.c:18:3:18:49 | memory_order_acquire | test.c:18:3:18:49 | memory_order_acquire | test.c:18:3:18:49 | memory_order_acquire | Invalid memory order '$@' in call to function '$@'. | memory_order_acquire | memory_order_acquire | Invocation of a standard function implemented as a macro | atomic_load_explicit |
+| test.c:19:3:19:49 | memory_order_consume | test.c:19:3:19:49 | memory_order_consume | test.c:19:3:19:49 | memory_order_consume | Invalid memory order '$@' in call to function '$@'. | memory_order_consume | memory_order_consume | Invocation of a standard function implemented as a macro | atomic_load_explicit |
+| test.c:20:3:20:49 | memory_order_acq_rel | test.c:20:3:20:49 | memory_order_acq_rel | test.c:20:3:20:49 | memory_order_acq_rel | Invalid memory order '$@' in call to function '$@'. | memory_order_acq_rel | memory_order_acq_rel | Invocation of a standard function implemented as a macro | atomic_load_explicit |
+| test.c:21:3:21:49 | memory_order_release | test.c:21:3:21:49 | memory_order_release | test.c:21:3:21:49 | memory_order_release | Invalid memory order '$@' in call to function '$@'. | memory_order_release | memory_order_release | Invocation of a standard function implemented as a macro | atomic_load_explicit |
+| test.c:54:33:54:34 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:54:33:54:34 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_store_explicit |
+| test.c:55:29:55:30 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:55:29:55:30 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_load_explicit |
+| test.c:56:42:56:43 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:56:42:56:43 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_flag_test_and_set_explicit |
+| test.c:57:35:57:36 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:57:35:57:36 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_flag_clear_explicit |
+| test.c:58:36:58:37 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:58:36:58:37 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_exchange_explicit |
+| test.c:59:56:59:57 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:59:56:59:57 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_compare_exchange_strong_explicit |
+| test.c:60:60:60:61 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:60:60:60:61 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_compare_exchange_strong_explicit |
+| test.c:61:54:61:55 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:61:54:61:55 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_compare_exchange_weak_explicit |
+| test.c:62:58:62:59 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:62:58:62:59 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_compare_exchange_weak_explicit |
+| test.c:63:37:63:38 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:63:37:63:38 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_fetch_add_explicit |
+| test.c:64:37:64:38 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:64:37:64:38 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_fetch_sub_explicit |
+| test.c:65:36:65:37 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:65:36:65:37 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_fetch_or_explicit |
+| test.c:66:37:66:38 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:66:37:66:38 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_fetch_xor_explicit |
+| test.c:67:37:67:38 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:67:37:67:38 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_fetch_and_explicit |
+| test.c:68:23:68:24 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:68:23:68:24 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:69:23:69:24 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:69:23:69:24 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_signal_fence |
+| test.c:72:23:72:24 | g2 | test.c:4:10:4:29 | memory_order_relaxed | test.c:72:23:72:24 | g2 | Invalid memory order '$@' in call to function '$@'. | memory_order_relaxed | memory_order_relaxed | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:73:23:73:24 | g3 | test.c:5:10:5:29 | memory_order_acquire | test.c:73:23:73:24 | g3 | Invalid memory order '$@' in call to function '$@'. | memory_order_acquire | memory_order_acquire | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:74:23:74:24 | g4 | test.c:6:10:6:29 | memory_order_consume | test.c:74:23:74:24 | g4 | Invalid memory order '$@' in call to function '$@'. | memory_order_consume | memory_order_consume | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:75:23:75:24 | g5 | test.c:7:10:7:29 | memory_order_acq_rel | test.c:75:23:75:24 | g5 | Invalid memory order '$@' in call to function '$@'. | memory_order_acq_rel | memory_order_acq_rel | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:76:23:76:24 | g6 | test.c:8:10:8:29 | memory_order_release | test.c:76:23:76:24 | g6 | Invalid memory order '$@' in call to function '$@'. | memory_order_release | memory_order_release | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:80:23:80:23 | 1 | test.c:80:23:80:23 | 1 | test.c:80:23:80:23 | 1 | Invalid memory order '$@' in call to function '$@'. | memory_order_consume | memory_order_consume | Invocation of a standard function implemented as a macro | atomic_thread_fence |
+| test.c:81:23:81:25 | 100 | test.c:81:23:81:25 | 100 | test.c:81:23:81:25 | 100 | Invalid memory order '$@' in call to function '$@'. | 100 | 100 | Invocation of a standard function implemented as a macro | atomic_thread_fence |
diff --git a/c/misra/test/rules/RULE-21-25/test.c b/c/misra/test/rules/RULE-21-25/test.c
index d1831785ba..d096634d30 100644
--- a/c/misra/test/rules/RULE-21-25/test.c
+++ b/c/misra/test/rules/RULE-21-25/test.c
@@ -1,4 +1,4 @@
-#include "stdatomic.h"
+#include <stdatomic.h>
 
 int g1 = memory_order_seq_cst;
 int g2 = memory_order_relaxed;
@@ -6,6 +6,7 @@ int g3 = memory_order_acquire;
 int g4 = memory_order_consume;
 int g5 = memory_order_acq_rel;
 int g6 = memory_order_release;
+int *ptr;
 
 void f(int p) {
   _Atomic int l1;
@@ -20,52 +21,52 @@ void f(int p) {
   atomic_load_explicit(&l1, memory_order_release); // NON-COMPLIANT
 
   // Implicit values:
-  atomic_store(&l1, 0);                      // COMPLIANT
-  atomic_load(&l1);                          // COMPLIANT
-  atomic_flag_test_and_set(&l2);             // COMPLIANT
-  atomic_flag_clear(&l2);                    // COMPLIANT
-  atomic_exchange(&l1, 0);                   // COMPLIANT
-  atomic_compare_exchange_strong(&l1, 0, 1); // COMPLIANT
-  atomic_compare_exchange_weak(&l1, 0, 1);   // COMPLIANT
-  atomic_fetch_add(&l1, 0);                  // COMPLIANT
-  atomic_fetch_sub(&l1, 0);                  // COMPLIANT
-  atomic_fetch_or(&l1, 0);                   // COMPLIANT
-  atomic_fetch_xor(&l1, 0);                  // COMPLIANT
-  atomic_fetch_and(&l1, 0);                  // COMPLIANT
+  atomic_store(&l1, 0);                        // COMPLIANT
+  atomic_load(&l1);                            // COMPLIANT
+  atomic_flag_test_and_set(&l2);               // COMPLIANT
+  atomic_flag_clear(&l2);                      // COMPLIANT
+  atomic_exchange(&l1, 0);                     // COMPLIANT
+  atomic_compare_exchange_strong(&l1, ptr, 1); // COMPLIANT
+  atomic_compare_exchange_weak(&l1, ptr, 1);   // COMPLIANT
+  atomic_fetch_add(&l1, 0);                    // COMPLIANT
+  atomic_fetch_sub(&l1, 0);                    // COMPLIANT
+  atomic_fetch_or(&l1, 0);                     // COMPLIANT
+  atomic_fetch_xor(&l1, 0);                    // COMPLIANT
+  atomic_fetch_and(&l1, 0);                    // COMPLIANT
 
   // Compliant flowed values (one test per sink):
-  atomic_store_explicit(&l1, 0, g1);                          // COMPLIANT
-  atomic_load_explicit(&l1, g1);                              // COMPLIANT
-  atomic_flag_test_and_set_explicit(&l2, g1);                 // COMPLIANT
-  atomic_flag_clear_explicit(&l2, g1);                        // COMPLIANT
-  atomic_exchange_explicit(&l1, 0, g1);                       // COMPLIANT
-  atomic_compare_exchange_strong_explicit(&l1, 0, 1, g1, g1); // COMPLIANT
-  atomic_compare_exchange_weak_explicit(&l1, 0, 1, g1, g1);   // COMPLIANT
-  atomic_fetch_add_explicit(&l1, 0, g1);                      // COMPLIANT
-  atomic_fetch_sub_explicit(&l1, 0, g1);                      // COMPLIANT
-  atomic_fetch_or_explicit(&l1, 0, g1);                       // COMPLIANT
-  atomic_fetch_xor_explicit(&l1, 0, g1);                      // COMPLIANT
-  atomic_fetch_and_explicit(&l1, 0, g1);                      // COMPLIANT
-  atomic_thread_fence(g1);                                    // COMPLIANT
-  atomic_signal_fence(g1);                                    // COMPLIANT
+  atomic_store_explicit(&l1, 0, g1);                            // COMPLIANT
+  atomic_load_explicit(&l1, g1);                                // COMPLIANT
+  atomic_flag_test_and_set_explicit(&l2, g1);                   // COMPLIANT
+  atomic_flag_clear_explicit(&l2, g1);                          // COMPLIANT
+  atomic_exchange_explicit(&l1, 0, g1);                         // COMPLIANT
+  atomic_compare_exchange_strong_explicit(&l1, ptr, 1, g1, g1); // COMPLIANT
+  atomic_compare_exchange_weak_explicit(&l1, ptr, 1, g1, g1);   // COMPLIANT
+  atomic_fetch_add_explicit(&l1, 0, g1);                        // COMPLIANT
+  atomic_fetch_sub_explicit(&l1, 0, g1);                        // COMPLIANT
+  atomic_fetch_or_explicit(&l1, 0, g1);                         // COMPLIANT
+  atomic_fetch_xor_explicit(&l1, 0, g1);                        // COMPLIANT
+  atomic_fetch_and_explicit(&l1, 0, g1);                        // COMPLIANT
+  atomic_thread_fence(g1);                                      // COMPLIANT
+  atomic_signal_fence(g1);                                      // COMPLIANT
 
   // Non-compliant flowed values (one test per sink):
-  atomic_store_explicit(&l1, 0, g2);                          // NON-COMPLIANT
-  atomic_load_explicit(&l1, g2);                              // NON-COMPLIANT
-  atomic_flag_test_and_set_explicit(&l2, g2);                 // NON-COMPLIANT
-  atomic_flag_clear_explicit(&l2, g2);                        // NON-COMPLIANT
-  atomic_exchange_explicit(&l1, 0, g2);                       // NON-COMPLIANT
-  atomic_compare_exchange_strong_explicit(&l1, 0, 1, g2, g1); // NON-COMPLIANT
-  atomic_compare_exchange_strong_explicit(&l1, 0, 1, g1, g2); // NON-COMPLIANT
-  atomic_compare_exchange_weak_explicit(&l1, 0, 1, g2, g1);   // NON-COMPLIANT
-  atomic_compare_exchange_weak_explicit(&l1, 0, 1, g1, g2);   // NON-COMPLIANT
-  atomic_fetch_add_explicit(&l1, 0, g2);                      // NON-COMPLIANT
-  atomic_fetch_sub_explicit(&l1, 0, g2);                      // NON-COMPLIANT
-  atomic_fetch_or_explicit(&l1, 0, g2);                       // NON-COMPLIANT
-  atomic_fetch_xor_explicit(&l1, 0, g2);                      // NON-COMPLIANT
-  atomic_fetch_and_explicit(&l1, 0, g2);                      // NON-COMPLIANT
-  atomic_thread_fence(g2);                                    // NON-COMPLIANT
-  atomic_signal_fence(g2);                                    // NON-COMPLIANT
+  atomic_store_explicit(&l1, 0, g2);                            // NON-COMPLIANT
+  atomic_load_explicit(&l1, g2);                                // NON-COMPLIANT
+  atomic_flag_test_and_set_explicit(&l2, g2);                   // NON-COMPLIANT
+  atomic_flag_clear_explicit(&l2, g2);                          // NON-COMPLIANT
+  atomic_exchange_explicit(&l1, 0, g2);                         // NON-COMPLIANT
+  atomic_compare_exchange_strong_explicit(&l1, ptr, 1, g2, g1); // NON-COMPLIANT
+  atomic_compare_exchange_strong_explicit(&l1, ptr, 1, g1, g2); // NON-COMPLIANT
+  atomic_compare_exchange_weak_explicit(&l1, ptr, 1, g2, g1);   // NON-COMPLIANT
+  atomic_compare_exchange_weak_explicit(&l1, ptr, 1, g1, g2);   // NON-COMPLIANT
+  atomic_fetch_add_explicit(&l1, 0, g2);                        // NON-COMPLIANT
+  atomic_fetch_sub_explicit(&l1, 0, g2);                        // NON-COMPLIANT
+  atomic_fetch_or_explicit(&l1, 0, g2);                         // NON-COMPLIANT
+  atomic_fetch_xor_explicit(&l1, 0, g2);                        // NON-COMPLIANT
+  atomic_fetch_and_explicit(&l1, 0, g2);                        // NON-COMPLIANT
+  atomic_thread_fence(g2);                                      // NON-COMPLIANT
+  atomic_signal_fence(g2);                                      // NON-COMPLIANT
 
   // Non-compliant flowed values (one test per source):
   atomic_thread_fence(g2); // NON-COMPLIANT
diff --git a/c/misra/test/rules/RULE-21-26/test.c b/c/misra/test/rules/RULE-21-26/test.c
index d26f9c1f2f..b08f7e54a1 100644
--- a/c/misra/test/rules/RULE-21-26/test.c
+++ b/c/misra/test/rules/RULE-21-26/test.c
@@ -9,7 +9,7 @@ struct timespec ts = {0, 0};
 
 void doTimeLock(mtx_t *m) { mtx_timedlock(m, &ts); }
 
-void main(void) {
+int main(int argc, char *argv[]) {
   mtx_init(&g1, mtx_plain);
   mtx_timedlock(&g1, &ts); // NON-COMPLIANT
   doTimeLock(&g1);         // NON-COMPLIANT
diff --git a/c/misra/test/rules/RULE-22-16/test.c b/c/misra/test/rules/RULE-22-16/test.c
index c97fb3d588..723516509f 100644
--- a/c/misra/test/rules/RULE-22-16/test.c
+++ b/c/misra/test/rules/RULE-22-16/test.c
@@ -41,7 +41,7 @@ void f6(int p) {
     goto skipped;
   }
   mtx_unlock(&m);
-skipped:
+skipped:;
 }
 
 void f7(int p) {
diff --git a/c/misra/test/rules/RULE-8-15/RedeclarationOfObjectWithUnmatchedAlignment.expected.gcc b/c/misra/test/rules/RULE-8-15/RedeclarationOfObjectWithUnmatchedAlignment.expected.gcc
index f1054946a7..6f3d414214 100644
--- a/c/misra/test/rules/RULE-8-15/RedeclarationOfObjectWithUnmatchedAlignment.expected.gcc
+++ b/c/misra/test/rules/RULE-8-15/RedeclarationOfObjectWithUnmatchedAlignment.expected.gcc
@@ -1,10 +1,10 @@
-| test.c:11:8:11:15 | alignas(...) | Variable g4 declared with lexically different _Alignof() values '$@' and '$@' | test.c:11:8:11:15 | alignas(...) | 16 | test.c:12:8:12:15 | alignas(...) | 32 |
-| test.c:12:8:12:15 | alignas(...) | Variable g4 declared with lexically different _Alignof() values '$@' and '$@' | test.c:12:8:12:15 | alignas(...) | 32 | test.c:11:8:11:15 | alignas(...) | 16 |
-| test.c:18:8:18:15 | alignas(...) | Variable g6 declared with lexically different _Alignof() values '$@' and '$@' | test.c:18:8:18:15 | alignas(...) | int | test.c:19:8:19:15 | alignas(...) | 4 |
-| test.c:19:8:19:15 | alignas(...) | Variable g6 declared with lexically different _Alignof() values '$@' and '$@' | test.c:19:8:19:15 | alignas(...) | 4 | test.c:18:8:18:15 | alignas(...) | int |
-| test.c:22:8:22:15 | alignas(...) | Variable g7 declared with lexically different _Alignof() values '$@' and '$@' | test.c:22:8:22:15 | alignas(...) | ... * ... | test.c:23:8:23:15 | alignas(...) | 32 |
-| test.c:23:8:23:15 | alignas(...) | Variable g7 declared with lexically different _Alignof() values '$@' and '$@' | test.c:23:8:23:15 | alignas(...) | 32 | test.c:22:8:22:15 | alignas(...) | ... * ... |
-| test.c:28:8:28:15 | alignas(...) | Variable g9 declared with lexically different _Alignof() values '$@' and '$@' | test.c:28:8:28:15 | alignas(...) | ... * ... | test.c:29:8:29:15 | alignas(...) | ... * ... |
-| test.c:29:8:29:15 | alignas(...) | Variable g9 declared with lexically different _Alignof() values '$@' and '$@' | test.c:29:8:29:15 | alignas(...) | ... * ... | test.c:28:8:28:15 | alignas(...) | ... * ... |
-| test.c:34:8:34:15 | alignas(...) | Variable g11 declared with lexically different _Alignof() values '$@' and '$@' | test.c:34:8:34:15 | alignas(...) | signed int | test.c:35:8:35:15 | alignas(...) | unsigned int |
-| test.c:35:8:35:15 | alignas(...) | Variable g11 declared with lexically different _Alignof() values '$@' and '$@' | test.c:35:8:35:15 | alignas(...) | unsigned int | test.c:34:8:34:15 | alignas(...) | signed int |
+| test.c:11:8:11:15 | alignas(...) | Variable g4 declared with lexically different _Alignof() values '$@' and '$@'. | test.c:11:8:11:15 | alignas(...) | 16 | test.c:12:8:12:15 | alignas(...) | 32 |
+| test.c:12:8:12:15 | alignas(...) | Variable g4 declared with lexically different _Alignof() values '$@' and '$@'. | test.c:12:8:12:15 | alignas(...) | 32 | test.c:11:8:11:15 | alignas(...) | 16 |
+| test.c:18:8:18:15 | alignas(...) | Variable g6 declared with lexically different _Alignof() values '$@' and '$@'. | test.c:18:8:18:15 | alignas(...) | int | test.c:19:8:19:15 | alignas(...) | 4 |
+| test.c:19:8:19:15 | alignas(...) | Variable g6 declared with lexically different _Alignof() values '$@' and '$@'. | test.c:19:8:19:15 | alignas(...) | 4 | test.c:18:8:18:15 | alignas(...) | int |
+| test.c:22:8:22:15 | alignas(...) | Variable g7 declared with lexically different _Alignof() values '$@' and '$@'. | test.c:22:8:22:15 | alignas(...) | ... * ... | test.c:23:8:23:15 | alignas(...) | 32 |
+| test.c:23:8:23:15 | alignas(...) | Variable g7 declared with lexically different _Alignof() values '$@' and '$@'. | test.c:23:8:23:15 | alignas(...) | 32 | test.c:22:8:22:15 | alignas(...) | ... * ... |
+| test.c:28:8:28:15 | alignas(...) | Variable g9 declared with lexically different _Alignof() values '$@' and '$@'. | test.c:28:8:28:15 | alignas(...) | ... * ... | test.c:29:8:29:15 | alignas(...) | ... * ... |
+| test.c:29:8:29:15 | alignas(...) | Variable g9 declared with lexically different _Alignof() values '$@' and '$@'. | test.c:29:8:29:15 | alignas(...) | ... * ... | test.c:28:8:28:15 | alignas(...) | ... * ... |
+| test.c:34:8:34:15 | alignas(...) | Variable g11 declared with lexically different _Alignof() values '$@' and '$@'. | test.c:34:8:34:15 | alignas(...) | signed int | test.c:35:8:35:15 | alignas(...) | unsigned int |
+| test.c:35:8:35:15 | alignas(...) | Variable g11 declared with lexically different _Alignof() values '$@' and '$@'. | test.c:35:8:35:15 | alignas(...) | unsigned int | test.c:34:8:34:15 | alignas(...) | signed int |
diff --git a/c/misra/test/rules/RULE-9-7/test.c b/c/misra/test/rules/RULE-9-7/test.c
index da367c0bd1..90645f6372 100644
--- a/c/misra/test/rules/RULE-9-7/test.c
+++ b/c/misra/test/rules/RULE-9-7/test.c
@@ -4,7 +4,7 @@
 _Atomic int g1;     // COMPLIANT
 _Atomic int g2 = 0; // COMPLIANT
 
-void f_thread(void *x);
+int f_thread(void *x);
 
 void f_starts_thread() {
   thrd_t t;
@@ -13,7 +13,7 @@ void f_starts_thread() {
 
 void f_may_initialize_argument(void *p1) {}
 
-void main() {
+int main(int argc, char *argv[]) {
   _Atomic int l1 = 1; // COMPLIANT
   f_starts_thread();
 
diff --git a/change_notes/2025-04-08-address-cross-compiler-compatibility-in-misra-2023.md b/change_notes/2025-04-08-address-cross-compiler-compatibility-in-misra-2023.md
new file mode 100644
index 0000000000..abe4c2bba8
--- /dev/null
+++ b/change_notes/2025-04-08-address-cross-compiler-compatibility-in-misra-2023.md
@@ -0,0 +1,12 @@
+ - `RULE-21-22`, `RULE-21-23` - `TgMathArgumentWithInvalidEssentialType.ql`, `TgMathArgumentsWithDifferingStandardType.ql`
+   - Change type-generic macro analysis for finding macro parameters to be compatible with gcc, by ignoring early arguments inserted by gcc.
+   - Change explicit conversion logic to ignore the explicit casts inserted in macro bodies by clang, which previously overruled the argument essential type.
+ - `RULE-13-2` - `UnsequencedAtomicReads.ql`:
+   - Handle statement expression implementation of atomic operations in gcc.
+ - `RULE-21-25` - `InvalidMemoryOrderArgument.ql`:
+   - Handle case of where the enum `memory_order` is declared via a typedef as an anonymous enum.
+   - Rewrite how atomically sequenced operations are found; no longer look for builtins or internal functions, instead look for macros with the exact expected name and analyze the macro bodies for the memory sequence parameter.
+ - `RULE-9-7` - `UninitializedAtomicArgument.ql`:
+   - Handle gcc case where `atomic_init` is defined is a call to `atomic_store`, and take a more flexible approach to finding the initialized atomic variable.
+ - `DIR-4-15` - `PossibleMisuseOfUndetectedInfinity.ql`, `PossibleMisuseOfUndetectedNaN.ql`:
+   - Fix issue when analyzing clang/gcc implementations of floating point classification macros, where analysis incorrectly determined that `x` in `isinf(x)` was guaranteed to be infinite at the call site itself, affecting later analysis involving `x`.
\ No newline at end of file
diff --git a/cpp/common/src/codingstandards/cpp/FloatingPoint.qll b/cpp/common/src/codingstandards/cpp/FloatingPoint.qll
index f5ff2fefca..e2a13bd62e 100644
--- a/cpp/common/src/codingstandards/cpp/FloatingPoint.qll
+++ b/cpp/common/src/codingstandards/cpp/FloatingPoint.qll
@@ -325,7 +325,8 @@ predicate guardedNotFPClass(Expr e, FPClassification cls) {
     hashCons(checked) = hashCons(e) and
     guard.controls(e, cmpEq) and
     guard.constrainsFPClass(checked, constraint, cmpEq) and
-    constraint.mustNotBe(cls)
+    constraint.mustNotBe(cls) and
+    not checked = e
   )
 }
 
diff --git a/cpp/common/src/codingstandards/cpp/StdFunctionOrMacro.qll b/cpp/common/src/codingstandards/cpp/StdFunctionOrMacro.qll
index 1067b7ad09..ec4873d20e 100644
--- a/cpp/common/src/codingstandards/cpp/StdFunctionOrMacro.qll
+++ b/cpp/common/src/codingstandards/cpp/StdFunctionOrMacro.qll
@@ -3,28 +3,21 @@
  * implement a function as a macro: the class `StdFunctionOrMacro<...>::Call` matches both std
  * function calls as well as std function macro expansions.
  *
- * For instance, `atomic_init` may be implemented as a function, but is also implemented as
- * `#DEFINE atomic_init(x) __c11_atomic_init(x)` on some platforms. This module aids in finding
- * calls to any standard function which may be a macro, and has predefined behavior for
- * handling `__c11_*` macros.
+ * For instance, `atomic_init` may be implemented as a function, but is also implemented as a
+ * complicated macro on some platforms. This module aids in finding calls to any standard function
+ * which may be a macro.
  *
  * Since a macro can be defined to expand to any expression, we cannot know generally which
- * expanded expressions in `f(x, y)` correspond to arguments `x` or `y`. To handle this, the
- * following inference options are available:
- *  - `NoMacroExpansionInference`: Assume any expression in the macro expansion could correspond to
- *    any macro argument.
- *  - `C11FunctionWrapperMacro`: Check if the macro expands to a function call prefixed with
- *    `__c11_` and if so, return the corresponding argument. Otherwise, fall back to
- *    `NoMacroExpansionInference`.
- *  - `InferMacroExpansionArguments`: Implement your own logic for inferring the argument.
+ * expanded expressions in `f(x, y)` correspond to arguments `x` or `y`. To handle this, implement
+ * the module `InferMacroExpansionArguments`.
  *
- * To use this module, pick one of the above inference strategies, and then create a predicate for
- * the name you wish to match. For instance:
+ * To match a function of a particular name create a predicate for the name you wish to match. For
+ * instance:
  *
  * ```codeql
  *   private string atomicInit() { result = "atomic_init" }
  *
- *   from StdFunctionOrMacro<C11FunctionWrapperMacro, atomicInit/0>::Call c
+ *   from StdFunctionOrMacro<YourInferenceModule, atomicInit/0>::Call c
  *   select c.getArgument(0)
  * ```
  */
@@ -33,7 +26,7 @@ import cpp as cpp
 
 private string atomicInit() { result = "atomic_init" }
 
-class AtomicInitCall = StdFunctionOrMacro<C11FunctionWrapperMacro, atomicInit/0>::Call;
+class AtomicInitCall = StdFunctionOrMacro<InferAtomicMacroArgs, atomicInit/0>::Call;
 
 /** Specify the name of your function as a predicate */
 private signature string getName();
@@ -44,15 +37,72 @@ private signature module InferMacroExpansionArguments {
   cpp::Expr inferArgument(cpp::MacroInvocation mi, int argumentIdx);
 }
 
-/** Assume macro `f(x, y, ...)` expands to `__c11_f(x, y, ...)`. */
-private module C11FunctionWrapperMacro implements InferMacroExpansionArguments {
+private module InferAtomicMacroArgs implements InferMacroExpansionArguments {
+  bindingset[pattern]
+  private cpp::Expr getMacroVarInitializer(cpp::MacroInvocation mi, string pattern) {
+    exists(cpp::VariableDeclarationEntry decl |
+      mi.getAGeneratedElement() = decl and
+      decl.getName().matches(pattern) and
+      result = decl.getDeclaration().getInitializer().getExpr()
+    )
+  }
+
   bindingset[mi, argumentIdx]
   cpp::Expr inferArgument(cpp::MacroInvocation mi, int argumentIdx) {
-    exists(cpp::FunctionCall fc |
-      fc = mi.getExpr() and
-      fc.getTarget().hasName("__c11_" + mi.getMacroName()) and
-      result = mi.getExpr().(cpp::FunctionCall).getArgument(argumentIdx)
-    )
+    result = mi.getExpr().(cpp::FunctionCall).getArgument(argumentIdx)
+    or
+    if
+      argumentIdx = 0 and
+      exists(getMacroVarInitializer(mi, "__atomic_%_ptr"))
+    then result = getMacroVarInitializer(mi, "__atomic_%_ptr")
+    else
+      if
+        argumentIdx = [1, 2] and
+        exists(getMacroVarInitializer(mi, "__atomic_%_tmp"))
+      then result = getMacroVarInitializer(mi, "__atomic_%_tmp")
+      else
+        exists(cpp::FunctionCall fc |
+          fc = mi.getAnExpandedElement() and
+          fc.getTarget().getName().matches("%atomic_%") and
+          result = fc.getArgument(argumentIdx)
+        )
+  }
+}
+
+private string atomicReadOrWriteName() {
+  result =
+    [
+        "atomic_load",
+        "atomic_store",
+        "atomic_fetch_" + ["add", "sub", "or", "xor", "and"],
+        "atomic_exchange",
+        "atomic_compare_exchange_" + ["strong", "weak"]
+      ] + ["", "_explicit"]
+}
+
+class AtomicReadOrWriteCall =
+  StdFunctionOrMacro<InferAtomicMacroArgs, atomicReadOrWriteName/0>::Call;
+
+private string atomicallySequencedName() {
+  result =
+    [
+      "atomic_thread_fence",
+      "atomic_signal_fence",
+      "atomic_flag_clear_explicit",
+      "atomic_flag_test_and_set_explicit",
+    ]
+  or
+  result = atomicReadOrWriteName() and
+  result.matches("%_explicit")
+}
+
+/** A `stdatomic.h` function which accepts a `memory_order` value as a parameter. */
+class AtomicallySequencedCall extends StdFunctionOrMacro<InferAtomicMacroArgs, atomicallySequencedName/0>::Call
+{
+  cpp::Expr getAMemoryOrderArgument() {
+    if getName() = "atomic_compare_exchange_" + ["strong", "weak"] + "_explicit"
+    then result = getArgument(getNumberOfArguments() - [1, 2])
+    else result = getArgument(getNumberOfArguments() - 1)
   }
 }
 
@@ -66,7 +116,7 @@ private module C11FunctionWrapperMacro implements InferMacroExpansionArguments {
  *
  * ```codeql
  *   private string atomicInit() { result = "atomic_init" }
- *   from StdFunctionOrMacro<C11FunctionWrapperMacro, atomicInit/0>::Call c
+ *   from StdFunctionOrMacro<YourInferenceModule, atomicInit/0>::Call c
  *   select c.getArgument(0)
  * ```
  */
@@ -99,6 +149,25 @@ private module StdFunctionOrMacro<InferMacroExpansionArguments InferExpansion, g
       )
     }
 
+    Expr getAnArgument() {
+      exists(int i |
+        i = [0 .. getNumberOfArguments()] and
+        result = getArgument(i)
+      )
+    }
+
+    string getName() {
+      exists(FunctionCall fc |
+        this = TStdFunctionCall(fc) and
+        result = fc.getTarget().getName()
+      )
+      or
+      exists(MacroInvocation mi |
+        this = TStdMacroInvocation(mi) and
+        result = mi.getMacroName()
+      )
+    }
+
     string toString() {
       this = TStdFunctionCall(_) and
       result = "Standard function call"
@@ -106,5 +175,26 @@ private module StdFunctionOrMacro<InferMacroExpansionArguments InferExpansion, g
       this = TStdMacroInvocation(_) and
       result = "Invocation of a standard function implemented as a macro"
     }
+
+    int getNumberOfArguments() {
+      exists(FunctionCall fc |
+        this = TStdFunctionCall(fc) and
+        result = fc.getTarget().getNumberOfParameters()
+      )
+      or
+      exists(MacroInvocation mi |
+        this = TStdMacroInvocation(mi) and
+        result = count(int i | i = [0 .. 10] and exists(InferExpansion::inferArgument(mi, i)))
+      )
+    }
+
+    Expr getExpr() {
+      this = TStdFunctionCall(result)
+      or
+      exists(MacroInvocation mi |
+        this = TStdMacroInvocation(mi) and
+        result = mi.getExpr()
+      )
+    }
   }
 }