1 #include <stdio.h>
   2 #include "check_debug.h"
   3 
   4 int *aaa, *bbb;
   5 
   6 int main(void)
   7 {
   8         if (*aaa < 0 || *aaa > 34)
   9                 return -1;
  10         bbb = aaa;
  11         __smatch_implied(*bbb);
  12 
  13         return 0;
  14 }
  15 
  16 /*
  17  * check-name: smatch pointer assign
  18  * check-command: smatch -I.. sm_pointer_assign.c
  19  *
  20  * check-output-start
  21 sm_pointer_assign.c:11 main() implied: *bbb = '0-34'
  22  * check-output-end
  23  */