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

Misra: Add rule 3.1

This commit is contained in:
Daniel Marjamäki 2017-04-18 20:47:11 +02:00
parent ea67086da4
commit 82a68858ef
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
addons/misra-test.c
View File

@ -12,6 +12,8 @@ typedef unsigned short u16;
typedef unsigned int u32; typedef unsigned int u32;
typedef unsigned long long u64; typedef unsigned long long u64;
//// 3.1
void misra_5_1() { void misra_5_1() {
int a123456789012345678901234567890; // no-warning int a123456789012345678901234567890; // no-warning
int a1234567890123456789012345678901; // 5.1 int a1234567890123456789012345678901; // 5.1

8
addons/misra.py
View File

@ -268,6 +268,12 @@ def findInclude(directives, header):
return directive return directive
return None return None
def misra_3_1(rawTokens):
for token in rawTokens:
if token.str.startswith('/*') or token.str.startswith('//'):
if token.str[2:].find('//')>=0 or token.str[2:].find('/*')>=0:
reportError(token, 3, 1)
def misra_5_1(data): def misra_5_1(data):
for token in data.tokenlist: for token in data.tokenlist:
if token.isName and len(token.str) > 31: if token.isName and len(token.str) > 31:
@ -994,6 +1000,8 @@ for arg in sys.argv[1:]:
if len(data.configurations) > 1: if len(data.configurations) > 1:
print('Checking ' + arg + ', config "' + cfg.name + '"...') print('Checking ' + arg + ', config "' + cfg.name + '"...')
if cfgNumber == 1:
misra_3_1(data.rawTokens)
misra_5_1(cfg) misra_5_1(cfg)
misra_5_3(cfg) misra_5_3(cfg)
misra_5_4(cfg) misra_5_4(cfg)