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)

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

0597
1460
1470
1472

2000
2002
2004

missing-else

switch-default

ElseIfWithoutElse, SwitchWithoutDefault

V517

V533

V534

V535

V547

V556

V560

V577

V590

V600

V612

V695

V696

V719

V722

V747

V785

V786

The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence.

It is likely that a wrong variable is being incremented inside the 'for' operator. Consider reviewing 'X'.

It is likely that a wrong variable is being compared inside the 'for' operator. Consider reviewing 'X'.

The variable 'X' is being used for this loop and for the outer loop.

Expression is always true/false.

The values of different enum types are compared.

A part of conditional expression is always true/false.

Label is present inside a switch(). It is possible that these are misprints and 'default:' operator should be used instead.

Consider inspecting this expression. The expression is excessive or contains a misprint.

Consider inspecting the condition. The 'Foo' pointer is always not equal to NULL.

An unconditional 'break/continue/return/goto' within a loop.

Range intersections are possible within conditional expressions.

The 'continue' operator will terminate 'do { ... } while (FALSE)' loop because the condition is always false.

The switch statement does not cover all values of the enum.

An abnormality within similar comparisons. It is possible that a typo is present inside the expression.

An odd expression inside parenthesis. It is possible that a function name is missing.

Constant expression in switch statement.

Assigning the value C to the X variable looks suspicious. The value range of the variable: [A, B].