Synopsis

The condition in if, for, while, do-while, or ternary operator will never be true.

Enabled by default

No

Severity/Certainty

Medium/Medium

Full description

The condition in an if, for, while, do-while, or ternary operator will never be true. This might indicate a logical error that could result in unexpected runtime behavior. This check is identical to MISRAC++2008-0-1-2_b, MISRAC2012-Rule-14.3_b, MISRAC++2023-0.0.2_b.

Coding standards

Code examples

The following code example fails the check and will give a warning:

void example(void) {

    int x = 5;

    for (x = 0; x < 6 && x >= 1; x++) {
    }
}

The following code example passes the check and will not give a warning about this issue:

void example(void) {

    int x = 5;

    for (x = 0; x < 6 && x >= 0; x++) {
    }
}