Misra: Add rule 8.14

This commit is contained in:
Daniel Marjamäki 2017-04-16 17:04:40 +02:00
parent efcbbd56ed
commit b5bd9468de
2 changed files with 8 additions and 0 deletions

View File

@ -26,6 +26,8 @@ void misra_7_3() {
int x = 12lu; // 7.3 int x = 12lu; // 7.3
} }
void misra_8_14(char * restrict str) {} // 8.14
void misra_10_4(u8 x, u16 y) { void misra_10_4(u8 x, u16 y) {
z = x + y; // 10.4 z = x + y; // 10.4
} }

View File

@ -271,6 +271,11 @@ 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_8_14(rawTokens):
for token in rawTokens:
if token.str == 'restrict':
reportError(token, 8, 14)
def misra_10_4(data): def misra_10_4(data):
for token in data.tokenlist: for token in data.tokenlist:
if not token.str in ['+','-','*','/','%','&','|','^'] and not token.isComparisonOp: if not token.str in ['+','-','*','/','%','&','|','^'] and not token.isComparisonOp:
@ -867,6 +872,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_8_14(data.rawTokens)
misra_10_4(cfg) misra_10_4(cfg)
misra_10_6(cfg) misra_10_6(cfg)
misra_10_8(cfg) misra_10_8(cfg)