1 #include "check_debug.h"
   2 
   3 long long a[] = {1, 2};
   4 int b[] = {3, 4};
   5 
   6 int main(char *arg0)
   7 {
   8         short *s = a;
   9 
  10         __smatch_buf_size(a);
  11         __smatch_buf_size(b);
  12         __smatch_buf_size(s);
  13         return 0;
  14 }
  15 /*
  16  * check-name: smatch buf size #4
  17  * check-command: smatch -I.. sm_buf_size4.c
  18  *
  19  * check-output-start
  20 sm_buf_size4.c:10 main() buf size: 'a' 2 elements, 16 bytes
  21 sm_buf_size4.c:11 main() buf size: 'b' 2 elements, 8 bytes
  22 sm_buf_size4.c:12 main() buf size: 's' 8 elements, 16 bytes
  23  * check-output-end
  24  */