1 #include <stdio.h> 2 #include <string.h> 3 #include "check_debug.h" 4 5 int a; 6 int x; 7 8 int main(void) 9 { 10 a = (unsigned short)x; 11 __smatch_implied(a); 12 13 return 0; 14 } 15 16 17 /* 18 * check-name: smatch: casts #7 19 * check-command: smatch -I.. sm_casts7.c 20 * 21 * check-output-start 22 sm_casts7.c:11 main() implied: a = '0-u16max' 23 * check-output-end 24 */ 25