Checks: Fixed: false positives in MISRA12_21.2 for reserved identifiers introduced by library macro expansion [autosync]

Author: github-actions[bot]

CodeCheck/Published Standards/MISRA C 2012/MISRA12_21.2/check.upy

@@ -169,10 +169,17 @@ def check(check, file):
   funcrefs = file.filerefs("Declare, Define", "", True)
   rangeMacroRegex = re.compile(r"__begin|__end|__range|__i")
   macBuiltInRegex = re.compile(r"^__builtin.*$")
+  lexer = file.lexer()
   for ref in funcrefs:
     ent = ref.ent()
     name = ent.name()
 
+    # Skip identifiers from macro expansion (e.g. arm_neon.h intrinsics)
+    if lexer:
+      lexeme = lexer.lexeme(ref.line(), ref.column())
+      if not lexeme or lexeme.text() != name:
+        continue
+
     # Special case to detect when a range based loop is used
     if re.search(rangeMacroRegex, name):
       define = ent.ref('Definein')

CodeCheck/Published Standards/MISRA C 2012/MISRA12_21.2/test1.c

@@ -8,4 +8,10 @@ int free(void *pArg, int len) {  // UndCC_Violation: free is a standard function
   int __test; // UndCC_Violation: starts with "__"
   //...
 }
+
+// Library-style macro (e.g. arm_neon.h) expands a reserved local at the call site
+#define GET_VALUE(x) ({ int __ret = (x); __ret; })
+int use_macro(void) {
+  return GET_VALUE(5);  // UndCC_Valid: __ret comes from macro expansion
+}
 #endif