Synopsis

(Required) A project shall not contain infeasible paths.

Enabled by default

Yes

Severity/Certainty

Low/Medium

Full description

A case statement within a switch statement is unreachable. This check is identical to RED-case-reach, MISRAC2012-Rule-2.1_a, MISRAC++2023-0.0.2_c.

Coding standards

Code examples

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

void example(void) {
  int x = 42;

  switch(2 * x) {
  case 42 :  //unreachable case, as x is 84
    ;
  default :
    ;
  }
}

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

void example(void) {
  int x = 42;

  switch(2 * x) {
  case 84 :
    ;
  default :
    ;
  }
}