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 		return -1;
9 	if (x == y)
10 		return 0;
11 	return 1;
12 }
13 
14 int x, y;
test(void)15 int test(void)
16 {
17 	if (cmp_x(x, 4) < 0) {
18 		__smatch_implied(x);
19 	} else
20 		__smatch_implied(x);
21 }
22 /*
23  * check-name: smatch compare #14
24  * check-command: smatch -I.. sm_compare14.c
25  *
26  * check-output-start
27 sm_compare14.c:18 test() implied: x = 's32min-3'
28 sm_compare14.c:20 test() implied: x = '4-s32max'
29  * check-output-end
30  */
31