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