Synopsis

(Required) A project shall not contain infeasible paths.

Enabled by default

Yes

Severity/Certainty

Medium/Medium

Full description

The condition in if, for, while, do-while statement sequences and the ternary operator is always met. This check is identical to RED-cond-always, MISRAC2012-Rule-14.3_a, MISRAC++2023-0.0.2_a.

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 && 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 && 1; x++) {
    }
}