validation/type-attribute-as.c

#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-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
 */