validation/sm_buf_size2.c

   1 #include "check_debug.h"
   2
   3 void *malloc(int);
   4
   5 void func(void)
   6 {
   7         int *a;
   8         short *b;
   9         long long *c;
  10
  11         a = malloc(sizeof(int) * 4);
  12         b = a;
  13         c = b;
  14         __smatch_buf_size(a);
  15         __smatch_buf_size(b);
  16         __smatch_buf_size(c);
  17 }
  18
  19 /*
  20  * check-name: smatch buf size #2
  21  * check-command: smatch -I.. sm_buf_size2.c
  22  *
  23  * check-output-start
  24 sm_buf_size2.c:14 func() buf size: 'a' 4 elements, 16 bytes
  25 sm_buf_size2.c:15 func() buf size: 'b' 8 elements, 16 bytes
  26 sm_buf_size2.c:16 func() buf size: 'c' 2 elements, 16 bytes
  27  * check-output-end
  28  */