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 */