xref: /illumos-gate/usr/src/tools/smatch/src/validation/mem2reg/loop00.c (revision a61ed2ce7a86a4d6428f2a83eb4739fae945447e)
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