validation/sm_indirection1.c

   1 #include "check_debug.h"
   2
   3 int a;
   4
   5 int frob(int size)
   6 {
   7         int *p = &a;
   8
   9         *p = 42;
  10         __smatch_implied(a);
  11
  12         return 0;
  13 }
  14
  15 /*
  16  * check-name: smatch: pointer indirection #1
  17  * check-command: smatch -p=kernel -I.. sm_indirection1.c
  18  *
  19  * check-output-start
  20 sm_indirection1.c:10 frob() implied: a = '42'
  21  * check-output-end
  22  */