db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / function-pointer-type.c
blobebc4007ba2b89a05bdbf69321e0b4249f766bb85
1 extern int fun(void);
3 void fa(void) { int (*f)(void); f = &fun; }
4 void f0(void) { int (*f)(void); f = fun; } // C99,C11 6.3.2.1p4
5 void f1(void) { int (*f)(void); f = *fun; } // C99,C11 6.5.3.2p4
6 void f2(void) { int (*f)(void); f = **fun; } // C99,C11 6.5.3.2p4
7 void f3(void) { int (*f)(void); f = ***fun; } // C99,C11 6.5.3.2p4
9 /*
10 * check-name: type of function pointers
11 * check-command: sparse -Wno-decl $file