validation/sm_inline3.c

   1 #include "check_debug.h"
   2 #include "test.h"
   3
   4 void memset(void *p, char pat, int size);
   5
   6 struct foo {
   7         int a, b;
   8 };
   9
  10 void my_func(struct foo *p)
  11 {
  12         memset(p, 0, sizeof(*p));
  13         p->a = 1;
  14 }
  15
  16 struct foo *my_pointer;
  17
  18 void test(void)
  19 {
  20         struct foo foo;
  21
  22         my_func(my_pointer);
  23         my_func(&foo);
  24         __smatch_implied(my_pointer->a);
  25         __smatch_implied(my_pointer->b);
  26         __smatch_implied(foo.a);
  27         __smatch_implied(foo.b);
  28 }
  29
  30 /*
  31  * check-name: smatch: inline #3
  32  * check-command: smatch -I.. sm_inline3.c
  33  *
  34  * check-output-start
  35 sm_inline3.c:24 test() implied: my_pointer->a = '1'
  36 sm_inline3.c:25 test() implied: my_pointer->b = '0'
  37 sm_inline3.c:26 test() implied: foo.a = '1'
  38 sm_inline3.c:27 test() implied: foo.b = '0'
  39  * check-output-end
  40  */