Page History

missing-else

switch-default

Can detect some violations of this recommendation. In particular, it flags switch statements that do not have a default clause. ROSE should detect "fake switches" as well (that is, a chain of if statements each checking the value of the same variable). These if statements should always end in an else clause, or they should mathematically cover every possibility. For instance, consider the following:

  if (x > 0) {
	  /* ... */
  } else if (x < 0) {
    /* ... */
  } else if (x == 0) {
    /* ... */
  }

Can detect some violations of this recommendation when the -Wswitch and -Wswitch-default flags are used

CWARN.EMPTY.

LABEL 
LA_UNUSED
MISRA.IF.NO_ELSE
MISRA.SWITCH.WELL_FORMED.DEFAULT.2012
INFINITE_LOOP.GLOBAL
INFINITE_LOOP.LOCAL
INFINITE_LOOP.MACRO

CERT_C-MSC01-a
CERT_C-MSC01-b

The final clause of a switch statement shall be the default clause

474, 744, 787, 9013

Partially supported

CERT C: Rec. MSC01-C

Checks for missing

Dead code

Missing case for switch condition

Unreachable code

Code does not execute

Default case is missing and may be reached

Code following control-flow statements

(rule partially covered)

2000, 2002, 2004

V517, V533, V534, V535,V547,  V556, V560, V577, V590, V600, V612, V695, V696, V719, V722, V747, V785, V786

missing-else

switch-default

ElseIfWithoutElse, SwitchWithoutDefault