address_spaces.c revision 58f9e13e87e57236fee4b914eea9be6f92a1c345 
1// RUN: %clang_cc1 %s -fsyntax-only -verify
2
3#define _AS1 __attribute__((address_space(1)))
4#define _AS2 __attribute__((address_space(2)))
5#define _AS3 __attribute__((address_space(3)))
6
7void bar(_AS2 int a); // expected-error {{parameter may not be qualified with an address space}}
8
9void foo(_AS3 float *a,
10         _AS1 float b) // expected-error {{parameter may not be qualified with an address space}}
11{
12  _AS2 *x;// expected-warning {{type specifier missing, defaults to 'int'}}
13  _AS1 float * _AS2 *B;
14
15  int _AS1 _AS2 *Y;   // expected-error {{multiple address spaces specified for type}}
16  int *_AS1 _AS2 *Z;  // expected-error {{multiple address spaces specified for type}}
17
18  _AS1 int local;     // expected-error {{automatic variable qualified with an address space}}
19  _AS1 int array[5];  // expected-error {{automatic variable qualified with an address space}}
20  _AS1 int arrarr[5][5]; // expected-error {{automatic variable qualified with an address space}}
21
22  __attribute__((address_space(-1))) int *_boundsA; // expected-error {{address space is negative}}
23  __attribute__((address_space(0xFFFFFF))) int *_boundsB;
24  __attribute__((address_space(0x1000000))) int *_boundsC; // expected-error {{address space is larger than the maximum supported}}
25  // chosen specifically to overflow 32 bits and come out reasonable
26  __attribute__((address_space(4294967500))) int *_boundsD; // expected-error {{address space is larger than the maximum supported}}
27
28  *a = 5.0f + b;
29}
30
31struct _st {
32 int x, y;
33} s __attribute ((address_space(1))) = {1, 1};
34
35
36// rdar://6774906
37__attribute__((address_space(256))) void * * const base = 0;
38void * get_0(void) {
39  return base[0];  // expected-error {{illegal implicit conversion between two pointers with different address spaces}} \
40                      expected-warning {{returning '__attribute__((address_space(256))) void *' from a function with result type 'void *' discards qualifiers}}
41}
42
43