xref: /illumos-gate/usr/src/tools/smatch/src/validation/backend/loop.c (revision a28480febf31f0e61debac062a55216a98a05a92) 
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  */
22