int main ( void )
{
  int x = 0;
  int y = 0;

  //...

  switch ( 0 == x )  //违背1
  {
    case 1:
      y = 1;
      break;
    default:
      y = 2;
      break;
  }

  return ( 0 );
}