MISRA 15.7 only checks if...else if constructs (#983)
This commit is contained in:
parent
a38854451f
commit
76c3cef4d6
|
@ -193,7 +193,9 @@ void misra_15_6() {
|
||||||
}
|
}
|
||||||
|
|
||||||
void misra_15_7() {
|
void misra_15_7() {
|
||||||
if (x!=0){} // 15.7
|
if (x!=0){} // no-warning
|
||||||
|
if (x!=0){} else if(x==1){} // 15.7
|
||||||
|
if (x!=0){} else if(x==1){}else{;} // no-warning
|
||||||
}
|
}
|
||||||
|
|
||||||
void misra_16_2() {
|
void misra_16_2() {
|
||||||
|
|
|
@ -773,11 +773,13 @@ def misra_15_6(rawTokens):
|
||||||
|
|
||||||
def misra_15_7(data):
|
def misra_15_7(data):
|
||||||
for token in data.tokenlist:
|
for token in data.tokenlist:
|
||||||
if not simpleMatch(token, 'if ('):
|
if not simpleMatch(token, '}'):
|
||||||
continue
|
continue
|
||||||
if not simpleMatch(token.next.link, ') {'):
|
if not token.scope.type == 'If':
|
||||||
continue
|
continue
|
||||||
if not simpleMatch(token.next.link.next.link, '} else'):
|
if not token.scope.nestedIn.type == 'Else':
|
||||||
|
continue
|
||||||
|
if not token.next.str == 'else':
|
||||||
reportError(token, 15, 7)
|
reportError(token, 15, 7)
|
||||||
|
|
||||||
# TODO add 16.1 rule
|
# TODO add 16.1 rule
|
||||||
|
|
Loading…
Reference in New Issue