• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 #define __noreturn __attribute__((__noreturn__))
2 
3 void fun(void *);
4 void __noreturn die(void);
5 
foo(void)6 static void foo(void)
7 {
8 	void *ptr = die;
9 	fun(die);
10 }
11 
12 /*
13  * check-name: function-attribute-void-ptr
14  */
15