Justification

The code before the first "case" label can never be executed and clutters the program text.

Example 1

switch (i)
{
   int k = 0; /* WRONG: initializations are not possible */
   i = i + 1; /* this next statement is never executed */
case 1:                                
   /* any statement */
   break;
case 2:                                
   /* any statement */
   break;
default:
   {
      /* ... */
   }
}

Example 2

switch (i) /* A Switch with only one case. Better use if */
{
case 1:                                
   /* any statement */
   break;
default:
   {
      /* ... */
   }
}