validation/backend/loop.c

   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  */