aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/function-attribute-void-ptr.c
blob: 0092b63c3f293b8b9c708980817aba5f95904e1e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#define __noreturn __attribute__((__noreturn__))

void fun(void *);
void __noreturn die(void);

static void foo(void)
{
	void *ptr = die;
	fun(die);
}

/*
 * check-name: function-attribute-void-ptr
 */