The use of operands with types other than bool with these operators is unlikely to be meaningful (or intended). This rule allows the detection of such uses, which often occur because the logical operators (&&, || and !) can be easily confused with the bitwise operators (&, | and ~).

Example

if ( ( a < b ) && ( c < d ) )   // Compliant
if ( 1 && ( c < d ) )           // Non-compliant
if ( ( a < b ) && ( c + d ) )   // Non-compliant

if ( u8_a && ( c + d ) )        // Non-compliant
if ( !0 )                       // Non-compliant —
                                // also breaks other rules
if ( !ptr )                     // Non-compliant
if ( !false )                   // Compliant with this rule,
                                // but breaks others

MISRA.LOGIC.NOT_BOOL

MISRA-C++ Rule 5-3-1 (required): Each operand of the ! operator, the logical && or the logical || operators shall have type bool.

Rationale

Example

MISRA-C++ Rule 5-3-1 (required): Each operand of the ! operator, the logical && or the logical || operators shall have type `bool`.