kpatch: use git instead of trying to create diffs by hand
[smatch.git] / validation / sm_buf_size2.c
blob1f6a7cd80ed902c40f2d763a153013cf8b43ba3d
1 #include "check_debug.h"
3 void *malloc(int);
5 void func(void)
7 int *a;
8 short *b;
9 long long *c;
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);
20 * check-name: smatch buf size #2
21 * check-command: smatch -I.. sm_buf_size2.c
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