1 #include "check_debug.h"
2 
3 int a, b, c;
4 
frob(void)5 static int frob(void)
6 {
7 	if (a > 5) {
8 		__smatch_value("a");
9 		return;
10 	}
11 	if (b++ > 5) {
12 		__smatch_value("b");
13 		return;
14 	}
15 	if (++c > 5) {
16 		__smatch_value("c");
17 		return;
18 	}
19 	__smatch_value("a");
20 	__smatch_value("b");
21 	__smatch_value("c");
22 }
23 
24 
25 /*
26  * check-name: Smatch Range #4
27  * check-command: smatch -I.. sm_range4.c
28  *
29  * check-output-start
30 sm_range4.c:8 frob() a = 6-s32max
31 sm_range4.c:12 frob() b = 7-s32max
32 sm_range4.c:16 frob() c = 6-s32max
33 sm_range4.c:19 frob() a = s32min-5
34 sm_range4.c:20 frob() b = s32min-6
35 sm_range4.c:21 frob() c = s32min-5
36  * check-output-end
37  */
38