// RUN: %llvmgcc -S %s -o - | llvm-as -o /dev/null

int printf(const char *, ...);
int foo();

int main() {
  while (foo()) {
     switch (foo()) {
     case 0:
     case 1:
     case 2:
     case 3:
       printf("3");
     case 4: printf("4");
     case 5:
     case 6:
     default:
       break;
     }
   }
   return 0;
}