misra.py: assume that '0' and '1' have essentially boolean types
This commit is contained in:
parent
ed3cd2929e
commit
c74b0934e9
|
@ -211,7 +211,7 @@ def hasSideEffectsRecursive(expr):
|
||||||
|
|
||||||
|
|
||||||
def isBoolExpression(expr):
|
def isBoolExpression(expr):
|
||||||
return expr and expr.str in {'!', '==', '!=', '<', '<=', '>', '>=', '&&', '||'}
|
return expr and expr.str in ['!', '==', '!=', '<', '<=', '>', '>=', '&&', '||', '0', '1']
|
||||||
|
|
||||||
|
|
||||||
def isConstantExpression(expr):
|
def isConstantExpression(expr):
|
||||||
|
|
Loading…
Reference in New Issue