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 return -1; 9 if (x == y) 10 return 0; 11 return 1; 12 } 13 14 int x, y; 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