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  */