false positive: misra-c2012-8.4

addons/misra.py

@@ -2072,7 +2072,10 @@ def checkDefinitionArgumentsViolations(func, startCall, endCall):
                     rawTokensFollowingPtr[2].str == ')'):
                 self.reportError(var.nameToken, 8, 2)
 
-
+    def insert_in_dict(self, dict_name,key, value):
+        if key not in dict_name:
+            dict_name[key] = []
+        dict_name[key].append(value)
     def misra_8_4(self, cfg):
         for func in cfg.functions:
             if func.isStatic:
@@ -2086,24 +2089,55 @@ def misra_8_4(self, cfg):
             if func.tokenDef.str == 'main':
                 continue
             self.reportError(func.tokenDef, 8, 4)
+        extern_var_with_def = {}
+        extern_var_without_def = {}
 
-        extern_vars = []
-        var_defs = []
-
-        for var in cfg.variables:
+        for tok in cfg.tokenlist:
+            if tok.scope.type != 'Global':
+                continue
+            var = tok.variable
+            if not var:
+                continue
             if not var.isGlobal:
                 continue
             if var.isStatic:
                 continue
             if var.nameToken is None:
                 continue
-            if var.isExtern:
-                extern_vars.append(var.nameToken.str)
+            if var.nameToken == tok and not tok.astParent and var.nameToken.next.str == ";":
+                if var.nameToken.next.isSplittedVarDeclEq or (tok.valueType and tok.valueType.type == "record"):
+                    self.insert_in_dict(extern_var_with_def, var.nameToken.str, var.nameToken)
+                else:
+                    self.insert_in_dict(extern_var_without_def, var.nameToken.str, var.nameToken)
+            elif tok.astParent:
+                astPar = tok.astParent
+                while astPar.astParent:
+                    astPar = astPar.astParent
+                if astPar.isAssignmentOp and (astPar.astOperand1 == var.typeEndToken or astPar.astOperand1 == tok):
+                    self.insert_in_dict(extern_var_with_def, var.nameToken.str, var.nameToken)
+                elif astPar.str == "[" and astPar.link and astPar.link.next.str == ";":
+                    if astPar.link.next.isSplittedVarDeclEq:
+                        self.insert_in_dict(extern_var_with_def, var.nameToken.str, var.nameToken)
+                    else:
+                        self.insert_in_dict(extern_var_without_def, var.nameToken.str, var.nameToken)
             else:
-                var_defs.append(var.nameToken)
-        for vartok in var_defs:
-            if vartok.str not in extern_vars:
-                self.reportError(vartok, 8, 4)
+                self.insert_in_dict(extern_var_without_def, var.nameToken.str, var.nameToken)
+
+        for var in extern_var_with_def:
+            if var not in extern_var_without_def:
+                for t in extern_var_with_def[var]:
+                    self.reportError(t, 8, 4)
+
+        for var_str, var_tok in extern_var_without_def.items():
+            warn = True
+            if var_str not in extern_var_with_def:
+                for t in var_tok:
+                    if t.variable.isExtern:
+                        warn = False
+                        break
+                if warn:
+                    for t in var_tok:
+                        self.reportError(t, 8, 4)
 
     def misra_8_5(self, dumpfile, cfg):
         self._save_ctu_summary_identifiers(dumpfile, cfg)

addons/test/misra/misra-ctu-2-test.c

@@ -43,10 +43,8 @@ extern int misra_8_5;
 // cppcheck-suppress misra-c2012-8.4
 // cppcheck-suppress misra-c2012-8.6
 int32_t misra_8_6 = 2;
-// cppcheck-suppress misra-c2012-8.4
 int32_t misra_8_6_1;
 // cppcheck-suppress misra-c2012-8.7
-// cppcheck-suppress misra-c2012-8.4
 int32_t misra_8_6_1 = 2;
 // cppcheck-suppress misra-c2012-8.4
 // cppcheck-suppress misra-c2012-8.7

addons/test/misra/misra-test.c

@@ -395,6 +395,13 @@ uint8_t misra_8_4_buf2[24]; // 8.4
 typedef struct { uint16_t a; uint16_t b; } misra_8_4_struct;
 extern misra_8_4_struct bar[42];
 misra_8_4_struct bar[42]; // compliant
+extern uint16_t misra_8_4_speed = 6000u; //8.4
+uint8_t misra_8_4_pressure = 101u; //8.4
+int32_t misra_8_4_ext_val2;
+int32_t misra_8_4_ext_val2 = 3; // compliant
+int32_t misra_8_4_ext_val3;
+misra_8_4_ext_val3 = 3; // compliant
+int32_t misra_8_4_ext_val4; //8.4
 
 static int32_t misra_8_8 = 123;
 extern int32_t misra_8_8; // 8.8