1 #include "check_debug.h"
   2 
   3 unsigned int a;
   4 int b;
   5 int func(void)
   6 {
   7         b = a;
   8         __smatch_implied(a);
   9         __smatch_implied(b);
  10 }
  11 
  12 /*
  13  * check-name: smatch: casts #3
  14  * check-command: smatch -I.. sm_casts3.c
  15  *
  16  * check-output-start
  17 sm_casts3.c:8 func() implied: a = ''
  18 sm_casts3.c:9 func() implied: b = 's32min-s32max'
  19  * check-output-end
  20  */