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