1 #include <stdio.h>
2 #include <string.h>
3 #include "check_debug.h"
4 
cmp_x(int x,int y)5 int cmp_x(int x, int y)
6 {
7 	if (x < y) {
8 		__smatch_compare(x, y);
9 		return -1;
10 	}
11 	if (x == y) {
12 		__smatch_compare(x, y);
13 		return 0;
14 	}
15 	__smatch_compare(x, y);
16 	return 1;
17 }
18 
19 /*
20  * check-name: smatch compare #13
21  * check-command: smatch -I.. sm_compare13.c
22  *
23  * check-output-start
24 sm_compare13.c:8 cmp_x() x < y
25 sm_compare13.c:12 cmp_x() x == y
26 sm_compare13.c:15 cmp_x() x > y
27  * check-output-end
28  */
29