MISRA C++:2008 Rule 5-3-1
Each operand of the ! operator, the logical && or the logical || operators shall have type bool
Description
Rule Definition
Each operand of the ! operator, the logical && or the logical || operators shall have type bool.1
Rationale
Use of non-bool
operands with the logical operators !
, &&
or ||
, is likely to indicate a programming error.
Polyspace Implementation
The checker reports a violation if the operands of the logical operators !
, &&
or ||
, are not effectively boolean. Allowed operands are:
Variables of type
bool
or specified as effectively boolean using the optionEffective boolean types (-boolean-types)
.Expressions that compare two variables using operators such as
==
or<
and return a boolean.
Troubleshooting
If you expect a rule violation but Polyspace® does not report it, see Diagnose Why Coding Standard Violations Do Not Appear as Expected.
Examples
Check Information
Group: Expressions |
Category: Required |
Version History
Introduced in R2013b
1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.
The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:
MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023
MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.