Modified rule 11.6 (#1261)
This commit is contained in:
parent
684c18f657
commit
8daa8520ba
|
@ -830,11 +830,13 @@ def misra_11_6(data):
|
||||||
for token in data.tokenlist:
|
for token in data.tokenlist:
|
||||||
if not isCast(token):
|
if not isCast(token):
|
||||||
continue
|
continue
|
||||||
|
if token.astOperand1.astOperand1:
|
||||||
|
continue
|
||||||
vt1 = token.valueType
|
vt1 = token.valueType
|
||||||
vt2 = token.astOperand1.valueType
|
vt2 = token.astOperand1.valueType
|
||||||
if not vt1 or not vt2:
|
if not vt1 or not vt2:
|
||||||
continue
|
continue
|
||||||
if vt1.pointer == 1 and vt1.type == 'void' and vt2.pointer == 0:
|
if vt1.pointer == 1 and vt1.type == 'void' and vt2.pointer == 0 and token.astOperand1.str != "0":
|
||||||
reportError(token, 11, 6)
|
reportError(token, 11, 6)
|
||||||
elif vt1.pointer == 0 and vt2.pointer == 1 and vt2.type == 'void':
|
elif vt1.pointer == 0 and vt2.pointer == 1 and vt2.type == 'void':
|
||||||
reportError(token, 11, 6)
|
reportError(token, 11, 6)
|
||||||
|
|
|
@ -190,6 +190,7 @@ void misra_11_6() {
|
||||||
void *p;
|
void *p;
|
||||||
p = (void*)123; // 11.6
|
p = (void*)123; // 11.6
|
||||||
x = (u64)p; // 11.6
|
x = (u64)p; // 11.6
|
||||||
|
p = ( void * )0 // no-warning
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue