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

Misra: Add rule 10.4

This commit is contained in:
Daniel Marjamäki 2017-04-16 13:39:49 +02:00
parent 73dd71991c
commit efcbbd56ed
2 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
addons/misra-test.c
View File

@ -26,6 +26,10 @@ void misra_7_3() {
int x = 12lu; // 7.3 int x = 12lu; // 7.3
} }
void misra_10_4(u8 x, u16 y) {
z = x + y; // 10.4
}
void misra_10_6(u8 x) { void misra_10_6(u8 x) {
u16 y = x+x; // 10.6 u16 y = x+x; // 10.6
} }

16
addons/misra.py
View File

@ -271,6 +271,21 @@ def misra_7_3(rawTokens):
if re.match(r'^[0-9]+l', tok.str): if re.match(r'^[0-9]+l', tok.str):
reportError(tok, 7, 3) reportError(tok, 7, 3)
def misra_10_4(data):
for token in data.tokenlist:
if not token.str in ['+','-','*','/','%','&','|','^'] and not token.isComparisonOp:
continue
if not token.astOperand1 or not token.astOperand2:
continue
if not token.astOperand1.valueType or not token.astOperand2.valueType:
continue
if not token.astOperand1.valueType.isIntegral() or not token.astOperand2.valueType.isIntegral():
continue
e1 = getEssentialType(token.astOperand1)
e2 = getEssentialType(token.astOperand2)
if e1 and e2 and e1 != e2:
reportError(token, 10, 4)
def misra_10_6(data): def misra_10_6(data):
for token in data.tokenlist: for token in data.tokenlist:
if token.str != '=': if token.str != '=':
@ -852,6 +867,7 @@ for arg in sys.argv[1:]:
if cfgNumber == 1: if cfgNumber == 1:
misra_7_1(data.rawTokens) misra_7_1(data.rawTokens)
misra_7_3(data.rawTokens) misra_7_3(data.rawTokens)
misra_10_4(cfg)
misra_10_6(cfg) misra_10_6(cfg)
misra_10_8(cfg) misra_10_8(cfg)
misra_11_3(cfg) misra_11_3(cfg)