debug: add __smatch_debug_implied_on/off()
[smatch.git] / validation / sm_buf_size4.c
blob0df4914d580d67693c1097d4c63c3094583cd94e
1 #include "check_debug.h"
3 long long a[] = {1, 2};
4 int b[] = {3, 4};
6 int main(char *arg0)
8 short *s = a;
10 __smatch_buf_size(a);
11 __smatch_buf_size(b);
12 __smatch_buf_size(s);
13 return 0;
16 * check-name: smatch buf size #4
17 * check-command: smatch -I.. sm_buf_size4.c
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