xref: /illumos-gate/usr/src/tools/smatch/src/validation/mem2reg/loop00.c (revision d2f7972d81337947df76c36b8c2a5f290829fa7a)
1 int loop00(int n)
2 {
3 	int i, r = 0;
4 
5 	for (i = 1; i <= n; ++i)
6 		r += i;
7 	return r;
8 }
9 
10 /*
11  * check-name: loop00
12  * check-command: test-linearize -Wno-decl -fdump-ir=mem2reg $file
13  * check-output-ignore
14  * check-output-excludes: store\\.
15  * check-output-excludes: load\\.
16  */
17