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