Start here

Home
About Klocwork
What's new
Fixed issues
Release notes
Installation

Reference

C/C++ checkers
Java checkers
C# checkers
MISRA C 2004 checkers
MISRA C++ 2008 checkers
MISRA C 2012 checkers
MISRA C 2012 checkers with Amendment 1
Commands
Metrics
Troubleshooting
Reference

Product components

C/C++ Integration build analysis
Java Integration build analysis
Desktop analysis
Refactoring
Klocwork Static Code Analysis
Klocwork Code Review
Structure101
Tuning
Custom checkers

Coding environments

Visual Studio
Eclipse for C/C++
Eclipse for Java
IntelliJ IDEA
Other

Administration

Project configuration
Build configuration
Administration
Analysis performance
Server performance
Security/permissions
Licensing
Klocwork Static Code Analysis Web API
Klocwork Code Review Web API

Community

View help online
Visit RogueWave.com
Klocwork Support
Rogue Wave Videos

Legal

Legal information

MISRA.SWITCH.WELL_FORMED.TWO_CLAUSES.2012

Every switch statement shall have at least two switch-clauses.

MISRA C 2012 Rule 16.6: Every switch statement shall have at least two switch-clauses

Category: Required

Analysis: Decidable, Single Translation Unit

Applies to: C90, C99

Rationale

A switch statement with a single path is redundant and may be indicative of a programming error.

Example

switch ( x ) 
{
  default:     /* Non-compliant - switch is redundant */
    x = 0; 
    break; 
}

switch ( y ) 
{
  case 1: 
  default:     /* Non-compliant - switch is redundant */
    y = 0; 
    break; 
}

switch ( z ) 
{
  case 1:
    z = 2; 
    break; 
  default:     /* Compliant                           */
    z = 0; 
    break; 
}

See also

Rule 16.1