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