1 #include "check_debug.h" 2 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