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