Fix #12184: false positive: misra 11.6, cast expression '0U' to 'void…

…*' (danmar#5666)
chrchr-github · Nov 16, 2023 · 81a03e7 · 81a03e7
1 parent ae3f7bd
commit 81a03e7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/addons/misra.py b/addons/misra.py
@@ -2562,7 +2562,7 @@ def misra_11_6(self, data):
             vt2 = token.astOperand1.valueType
             if not vt1 or not vt2:
                 continue
-            if vt1.pointer == 1 and vt1.type == 'void' and vt2.pointer == 0 and token.astOperand1.str != "0":
+            if vt1.pointer == 1 and vt1.type == 'void' and vt2.pointer == 0 and token.astOperand1.getKnownIntValue() != 0:
                 self.reportError(token, 11, 6)
             elif vt1.pointer == 0 and vt1.type != 'void' and vt2.pointer == 1 and vt2.type == 'void':
                 self.reportError(token, 11, 6)

diff --git a/addons/test/misra/misra-test.c b/addons/test/misra/misra-test.c
@@ -811,6 +811,8 @@ static void misra_11_6(void) {
   x = (u64)p;      // 11.6
   p = ( void * )0; // no-warning
   (void)p;         // no-warning
+  // # 12184
+  p = (void*)0U;   // no-warning
 }