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