atomic_inc_dec: improve how inc/dec is recorded in the DB
[smatch.git] / validation / Waddress-function.c
blobfccbe2d89c477bc1e8cd373e68e60fea94082390
1 extern void func(void);
3 int global_function(void)
5 if (func)
6 return 1;
7 return 0;
11 * check-name: Waddress-function
12 * check-command: sparse -Wno-decl -Waddress $file
14 * check-error-start
15 Waddress-function.c:5:13: warning: the address of a function will always evaluate as true
16 * check-error-end