1 #include "check_debug.h"
   2 
   3 void *malloc(int size);
   4 
   5 int function(void)
   6 {
   7         int *p;
   8         int array[1000];
   9 
  10         p = malloc(4000);
  11 
  12         __smatch_buf_size(p);
  13         __smatch_buf_size(&p[0]);
  14         __smatch_buf_size(array);
  15         __smatch_buf_size(&array);
  16         __smatch_buf_size(&array[0]);
  17 
  18         return 0;
  19 }
  20 /*
  21  * check-name: smatch buf size #6
  22  * check-command: smatch --spammy -I.. sm_buf_size6.c
  23  *
  24  * check-output-start
  25 sm_buf_size6.c:12 function() buf size: 'p' 1000 elements, 4000 bytes
  26 sm_buf_size6.c:13 function() buf size: '&p[0]' 1000 elements, 4000 bytes
  27 sm_buf_size6.c:14 function() buf size: 'array' 1000 elements, 4000 bytes
  28 sm_buf_size6.c:15 function() buf size: '&array' 1000 elements, 4000 bytes
  29 sm_buf_size6.c:16 function() buf size: '&array[0]' 1000 elements, 4000 bytes
  30  * check-output-end
  31  */