db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / builtin-objsize-dyn.c
blob276c92041fd950b98e2079098a154add92ac0dac
1 void *alloc(unsigned long)__attribute__((alloc_size(1)));
3 _Bool sta(void)
5 void *ptr = alloc(4);
6 return __builtin_object_size(ptr, 0) == 4;
9 _Bool dyn(unsigned long n)
11 void *ptr = alloc(n);
12 return __builtin_object_size(ptr, 0) == n;
16 * check-name: builtin-objsize-dyn
17 * check-command: test-linearize -Wno-decl $file
18 * check-known-to-fail
20 * check-output-ignore
21 * check-output-returns: 1