db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / builtin-sync-cas.c
blob846e21bb2fbbf5f54527a66287c0eef10263b8f0
1 static int *foo(int *ptr)
3 __sync_val_compare_and_swap(ptr, 123, 0L);
4 return __sync_val_compare_and_swap(&ptr, ptr, ptr);
7 static long bar(long *ptr)
9 return __sync_val_compare_and_swap(ptr, ptr, 1);
12 static _Bool boz(_Bool *ptr)
14 return __sync_bool_compare_and_swap(ptr, 0, ptr);
18 * check-name: builtin-sync-cas
20 * check-error-start
21 builtin-sync-cas.c:9:49: warning: incorrect type in argument 2 (different base types)
22 builtin-sync-cas.c:9:49: expected long
23 builtin-sync-cas.c:9:49: got long *ptr
24 * check-error-end