1 #include "check_debug.h"
2 
3 int frob(void);
4 
5 int a, b, c;
test(void)6 void test(void)
7 {
8 	a = 0;
9 	do {
10 		frob();
11 	} while (a++ < 3);
12 	__smatch_implied(a);
13 }
14 /*
15  * check-name: smatch loops #5
16  * check-command: smatch -I.. sm_loops5.c
17  *
18  * check-output-start
19 sm_loops5.c:12 test() implied: a = '4'
20  * check-output-end
21  */
22