1 #include <stdio.h> 2 #include <string.h> 3 #include "check_debug.h" 4 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 */