Main Content

AUTOSAR C++14 Rule M4-5-1

Expressions with type bool shall not be used as operands to built-in operators other than the assignment operator =, the logical operators &&, ||, !, the equality operators == and ! =, the unary & operator, and the conditional operator

Description

Rule Definition

Expressions with type bool shall not be used as operands to built-in operators other than the assignment operator =, the logical operators &&, ||, !, the equality operators == and ! =, the unary & operator, and the conditional operator.

Rationale

Operators other than the ones mentioned in the rule do not produce meaningful results with bool operands. Use of bool operands with these operators can indicate programming errors. For instance, you intended to use the logical operator || but used the bitwise operator | instead.

Polyspace Implementation

Polyspace® reports a violation of this rule if a boolean type is used as operands to operators other than these:

  • =

  • &&

  • ||

  • !

  • ==

  • !=

  • unary & and ?

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

expand all

void boolOperations() {
    bool lhs = true;
    bool rhs = false;
    
    int res;
    
    if(lhs & rhs) {}  //Noncompliant
    if(lhs < rhs) {}  //Noncompliant
    if(~rhs) {}       //Noncompliant
    if(lhs ^ rhs) {}  //Noncompliant
    if(lhs == rhs) {} //Compliant
    if(!rhs) {}       //Compliant
    res = lhs? -1:1;  //Compliant  
}

In this example, bool operands do not violate the rule when used with the ==, ! and the ? operators.

Check Information

Group: Standard Conversions
Category: Required, Automated

Version History

Introduced in R2019a

expand all

Go to top of page