db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / bug-bad-type.c
blob0e00efefa149595d3233e0c52034dba5bb84d71f
1 struct s {
2 int i;
3 };
5 long a;
6 void foo(void)
8 (struct s) { .i = (foo - a), };
12 * check-name: bug-bad-type
14 * check-error-start
15 bug-bad-type.c:5:6: warning: symbol 'a' was not declared. Should it be static?
16 bug-bad-type.c:8:32: error: arithmetics on pointers to functions
17 * check-error-end