aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/type-attribute-as.c
blob: b40b4e7dddf5a00b51229007d37259f6807d30ce (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
#define	__as		__attribute__((address_space(__as)))

struct s {
	int i;
} __as;


extern void use0(void *);
extern void use1(void __as *);

void main(void)
{
	struct s s;
	int i;

	use0(&s);	// KO
	use0(&i);	// OK
	use1(&s);	// OK
	use1(&i);	// KO
}

/*
 * check-name: type-attribute-as
 * check-known-to-fail
 *
 * check-error-start
type-attribute-as.c:16:15: warning: incorrect type in argument 1 (different address spaces)
type-attribute-as.c:16:15:    expected void *
type-attribute-as.c:16:15:    got struct s __as *
type-attribute-as.c:19:15: warning: incorrect type in argument 1 (different address spaces)
type-attribute-as.c:19:15:    expected void __as *
type-attribute-as.c:19:15:    got int *
 * check-error-end
 */