aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/function-redecl.c
blob: 475f18e798f59517d6d182340cce01c3fc92a078 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
#define __user	__attribute__((address_space(1)))
#define NULL	((void*)0)

int ret_type(void);
void ret_type(void) { }				/* check-should-fail */


int ret_const(void);
int const ret_const(void) { return 0; }		/* check-should-fail */


void *ret_as(void);
void __user *ret_as(void) { return NULL; }	/* check-should-fail */


void *ret_mod(void);
void const *ret_mod(void) { return NULL; }	/* check-should-fail */


void arg_type(int a);
void arg_type(void *a) { }			/* check-should-fail */


void arg_const(int a);
void arg_const(const int a) { }			/* OK */


void arg_as(void *a);
void arg_as(void __user *a) { }			/* check-should-fail */


void arg_mod(void *);
void arg_mod(void const *a) { }			/* check-should-fail */


void arg_more_arg(int a);
void arg_more_arg(int a, int b) { }		/* check-should-fail */


void arg_less_arg(int a, int b);
void arg_less_arg(int a) { }			/* check-should-fail */


void arg_vararg(int a);
void arg_vararg(int a, ...) { }			/* check-should-fail */

/*
 * check-name: function-redecl
 *
 * check-error-start
function-redecl.c:5:6: error: symbol 'ret_type' redeclared with different type (originally declared at function-redecl.c:4) - different base types
function-redecl.c:9:11: error: symbol 'ret_const' redeclared with different type (originally declared at function-redecl.c:8) - different modifiers
function-redecl.c:13:13: error: symbol 'ret_as' redeclared with different type (originally declared at function-redecl.c:12) - different address spaces
function-redecl.c:17:12: error: symbol 'ret_mod' redeclared with different type (originally declared at function-redecl.c:16) - different modifiers
function-redecl.c:21:6: error: symbol 'arg_type' redeclared with different type (originally declared at function-redecl.c:20) - incompatible argument 1 (different base types)
function-redecl.c:29:6: error: symbol 'arg_as' redeclared with different type (originally declared at function-redecl.c:28) - incompatible argument 1 (different address spaces)
function-redecl.c:33:6: error: symbol 'arg_mod' redeclared with different type (originally declared at function-redecl.c:32) - incompatible argument 1 (different modifiers)
function-redecl.c:37:6: error: symbol 'arg_more_arg' redeclared with different type (originally declared at function-redecl.c:36) - different argument counts
function-redecl.c:41:6: error: symbol 'arg_less_arg' redeclared with different type (originally declared at function-redecl.c:40) - different argument counts
function-redecl.c:45:6: error: symbol 'arg_vararg' redeclared with different type (originally declared at function-redecl.c:44) - incompatible variadic arguments
 * check-error-end
 */