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