1  
   2 extern int bar (int);
   3 
   4 extern int foo (int);
   5    
   6 int foo (int x)
   7 {
   8         int y = 0;
   9    
  10         while (y < 1000) {
  11                 y += bar(x);
  12         }
  13    
  14         return y;
  15 }
  16     
  17 
  18 /*
  19  * check-name: Loops
  20  * check-command: sparsec -c $file -o tmp.o
  21  */