db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / builtin-objsize0.c
blob9aab2ddd694e3460dd7ce5099d7b851c26e245fc
1 #define bos(O, T) __builtin_object_size(O, T)
3 struct s {
4 char arr[8];
5 __INT32_TYPE__ i;
6 __INT32_TYPE__ padding;
7 };
9 static struct s s;
10 static char *p = &s.arr[1];
11 static int *q = &s.i;
13 int obj_int0(void) { return bos(&s.i, 0) == 8; }
14 int obj_arr0(void) { return bos(&s.arr[1], 0) == 15; }
16 int ptr_int(struct s *p) { return bos(&p->i, 0) == -1; }
17 int ptr_arr(struct s *p) { return bos(&p->arr[1], 0) == -1; }
20 * check-name: builtin-objsize0
21 * check-command: test-linearize -Wno-decl $file
23 * check-output-ignore
24 * check-output-returns: 1