1  void fail1(void)
       2  {
       3    abort ();
       4  }
       5  void fail2(void)
       6  {
       7    abort ();
       8  }
       9  void fail3(void)
      10  {
      11    abort ();
      12  }
      13  void fail4(void)
      14  {
      15    abort ();
      16  }
      17  
      18  
      19  void foo(long x)
      20  {
      21    switch (x)
      22      {
      23      case -6: 
      24        fail1 (); break;
      25      case 0: 
      26        fail2 (); break;
      27      case 1: case 2: 
      28        break;
      29      case 3: case 4: case 5: 
      30        fail3 ();
      31        break;
      32      default:
      33        fail4 ();
      34        break;
      35      }
      36    switch (x)
      37      {
      38        
      39      case -3: 
      40        fail1 (); break;
      41      case 0: case 4: 
      42        fail2 (); break;
      43      case 1: case 3: 
      44        break;
      45      case 2: case 8: 
      46        abort ();
      47        break;
      48      default:
      49        fail4 ();
      50        break;
      51      }
      52  }
      53  
      54  int main(void)
      55  {
      56    foo (1);
      57    exit (0);
      58  }