db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / function-attribute-void-ptr.c
blob0092b63c3f293b8b9c708980817aba5f95904e1e
1 #define __noreturn __attribute__((__noreturn__))
3 void fun(void *);
4 void __noreturn die(void);
6 static void foo(void)
8 void *ptr = die;
9 fun(die);
13 * check-name: function-attribute-void-ptr