db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / builtin-atomic-clear.c
blobef430c64c244ebc635134309989db4365630b209
1 void foo(void *ptr, _Bool *bptr, volatile void *vptr, volatile _Bool *vbptr, int mo)
3 __atomic_clear(ptr, mo);
4 __atomic_clear(bptr, mo);
5 __atomic_clear(vptr, mo);
6 __atomic_clear(vbptr, mo);
9 /*
10 * check-name: builtin-atomic-clear
12 * check-error-start
13 builtin-atomic-clear.c:1:6: warning: symbol 'foo' was not declared. Should it be static?
14 * check-error-end