walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

misra; fix essential type for comparisons and logical operators

This commit is contained in:
Daniel Marjamäki 2021-07-20 16:50:43 +02:00
parent b320a092d0
commit bc43bfcb73
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
addons/misra.py
View File

@ -474,6 +474,9 @@ def getEssentialType(expr):
if expr.valueType.isIntegral(): if expr.valueType.isIntegral():
return '%s %s' % (expr.valueType.sign, expr.valueType.type) return '%s %s' % (expr.valueType.sign, expr.valueType.type)
if expr.str in ('<', '<=', '>=', '>', '==', '!=', '&&', '||', '!'):
return 'Boolean'
elif expr.astOperand1 and expr.astOperand2 and expr.str in ( elif expr.astOperand1 and expr.astOperand2 and expr.str in (
'+', '-', '*', '/', '%', '&', '|', '^', '>>', "<<", "?", ":"): '+', '-', '*', '/', '%', '&', '|', '^', '>>', "<<", "?", ":"):
if expr.astOperand1.valueType and expr.astOperand1.valueType.pointer > 0: if expr.astOperand1.valueType and expr.astOperand1.valueType.pointer > 0:
@ -499,6 +502,8 @@ def bitsOfEssentialType(ty):
if ty is None: if ty is None:
return 0 return 0
ty = ty.split(' ')[-1] ty = ty.split(' ')[-1]
if ty == 'Boolean':
return 1
if ty == 'char': if ty == 'char':
return typeBits['CHAR'] return typeBits['CHAR']
if ty == 'short': if ty == 'short':