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