1#define __user	__attribute__((address_space(1)))
2#define NULL	((void*)0)
3
4int ret_type(void);
5void ret_type(void) { }				/* check-should-fail */
6
7
8int ret_const(void);
9int const ret_const(void) { return 0; }		/* check-should-fail */
10
11
12void *ret_as(void);
13void __user *ret_as(void) { return NULL; }	/* check-should-fail */
14
15
16void *ret_mod(void);
17void const *ret_mod(void) { return NULL; }	/* check-should-fail */
18
19
20void arg_type(int a);
21void arg_type(void *a) { }			/* check-should-fail */
22
23
24void arg_const(int a);
25void arg_const(const int a) { }			/* OK */
26
27
28void arg_as(void *a);
29void arg_as(void __user *a) { }			/* check-should-fail */
30
31
32void arg_mod(void *);
33void arg_mod(void const *a) { }			/* check-should-fail */
34
35
36void arg_more_arg(int a);
37void arg_more_arg(int a, int b) { }		/* check-should-fail */
38
39
40void arg_less_arg(int a, int b);
41void arg_less_arg(int a) { }			/* check-should-fail */
42
43
44void arg_vararg(int a);
45void arg_vararg(int a, ...) { }			/* check-should-fail */
46
47/*
48 * check-name: function-redecl
49 *
50 * check-error-start
51function-redecl.c:5:6: error: symbol 'ret_type' redeclared with different type (different base types):
52function-redecl.c:5:6:    void extern [addressable] [toplevel] ret_type( ... )
53function-redecl.c:4:5: note: previously declared as:
54function-redecl.c:4:5:    int extern [addressable] [signed] [toplevel] ret_type( ... )
55function-redecl.c:9:11: error: symbol 'ret_const' redeclared with different type (different modifiers):
56function-redecl.c:9:11:    int extern const [addressable] [signed] [toplevel] ret_const( ... )
57function-redecl.c:8:5: note: previously declared as:
58function-redecl.c:8:5:    int extern [addressable] [signed] [toplevel] ret_const( ... )
59function-redecl.c:13:13: error: symbol 'ret_as' redeclared with different type (different address spaces):
60function-redecl.c:13:13:    void <asn:1> *extern [addressable] [toplevel] ret_as( ... )
61function-redecl.c:12:6: note: previously declared as:
62function-redecl.c:12:6:    void *extern [addressable] [toplevel] ret_as( ... )
63function-redecl.c:17:12: error: symbol 'ret_mod' redeclared with different type (different modifiers):
64function-redecl.c:17:12:    void const *extern [addressable] [toplevel] ret_mod( ... )
65function-redecl.c:16:6: note: previously declared as:
66function-redecl.c:16:6:    void *extern [addressable] [toplevel] ret_mod( ... )
67function-redecl.c:21:6: error: symbol 'arg_type' redeclared with different type (incompatible argument 1 (different base types)):
68function-redecl.c:21:6:    void extern [addressable] [toplevel] arg_type( ... )
69function-redecl.c:20:6: note: previously declared as:
70function-redecl.c:20:6:    void extern [addressable] [toplevel] arg_type( ... )
71function-redecl.c:29:6: error: symbol 'arg_as' redeclared with different type (incompatible argument 1 (different address spaces)):
72function-redecl.c:29:6:    void extern [addressable] [toplevel] arg_as( ... )
73function-redecl.c:28:6: note: previously declared as:
74function-redecl.c:28:6:    void extern [addressable] [toplevel] arg_as( ... )
75function-redecl.c:33:6: error: symbol 'arg_mod' redeclared with different type (incompatible argument 1 (different modifiers)):
76function-redecl.c:33:6:    void extern [addressable] [toplevel] arg_mod( ... )
77function-redecl.c:32:6: note: previously declared as:
78function-redecl.c:32:6:    void extern [addressable] [toplevel] arg_mod( ... )
79function-redecl.c:37:6: error: symbol 'arg_more_arg' redeclared with different type (different argument counts):
80function-redecl.c:37:6:    void extern [addressable] [toplevel] arg_more_arg( ... )
81function-redecl.c:36:6: note: previously declared as:
82function-redecl.c:36:6:    void extern [addressable] [toplevel] arg_more_arg( ... )
83function-redecl.c:41:6: error: symbol 'arg_less_arg' redeclared with different type (different argument counts):
84function-redecl.c:41:6:    void extern [addressable] [toplevel] arg_less_arg( ... )
85function-redecl.c:40:6: note: previously declared as:
86function-redecl.c:40:6:    void extern [addressable] [toplevel] arg_less_arg( ... )
87function-redecl.c:45:6: error: symbol 'arg_vararg' redeclared with different type (incompatible variadic arguments):
88function-redecl.c:45:6:    void extern [addressable] [toplevel] arg_vararg( ... )
89function-redecl.c:44:6: note: previously declared as:
90function-redecl.c:44:6:    void extern [addressable] [toplevel] arg_vararg( ... )
91 * check-error-end
92 */
93