test/tests2.4/bug1.c

   1 int main( void )
   2 {
   3   int a=5,c=1;
   4
   5   switch(a)
   6     {
   7     case 1:
   8       while (c>3)
   9         {
  10         case 3:
  11           ++c;
  12         }
  13     }
  14
  15   return 7;
  16 }