1 
2 extern int bar (int);
3 
4 extern int foo (int);
5 
foo(int x)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  */
22