1 #include "check_debug.h" 2 3 long long a[] = {1, 2}; 4 int b[] = {3, 4}; 5 main(char * arg0)6int 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 */ 25