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 will never be met. This check is identical to RED-cond-never, 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++);
}