| 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 | |
|---|
| 7 | void bar(_AS2 int a); // expected-error {{parameter may not be qualified with an address space}} |
|---|
| 8 | |
|---|
| 9 | void 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 | int *_AS1 _AS1 *M; // expected-warning {{multiple identical address spaces specified for type}} |
|---|
| 18 | |
|---|
| 19 | _AS1 int local; // expected-error {{automatic variable qualified with an address space}} |
|---|
| 20 | _AS1 int array[5]; // expected-error {{automatic variable qualified with an address space}} |
|---|
| 21 | _AS1 int arrarr[5][5]; // expected-error {{automatic variable qualified with an address space}} |
|---|
| 22 | |
|---|
| 23 | __attribute__((address_space(-1))) int *_boundsA; // expected-error {{address space is negative}} |
|---|
| 24 | __attribute__((address_space(0x7FFFFF))) int *_boundsB; // expected-error {{address space is larger than the maximum supported}} |
|---|
| 25 | __attribute__((address_space(0x1000000))) int *_boundsC; // expected-error {{address space is larger than the maximum supported}} |
|---|
| 26 | // chosen specifically to overflow 32 bits and come out reasonable |
|---|
| 27 | __attribute__((address_space(4294967500))) int *_boundsD; // expected-error {{address space is larger than the maximum supported}} |
|---|
| 28 | |
|---|
| 29 | *a = 5.0f + b; |
|---|
| 30 | } |
|---|
| 31 | |
|---|
| 32 | struct _st { |
|---|
| 33 | int x, y; |
|---|
| 34 | } s __attribute ((address_space(1))) = {1, 1}; |
|---|
| 35 | |
|---|
| 36 | |
|---|
| 37 | // rdar://6774906 |
|---|
| 38 | __attribute__((address_space(256))) void * * const base = 0; |
|---|
| 39 | void * get_0(void) { |
|---|
| 40 | return base[0]; // expected-error {{returning '__attribute__((address_space(256))) void *' from a function with result type 'void *' changes address space of pointer}} |
|---|
| 41 | } |
|---|
| 42 | |
|---|
| 43 | __attribute__((address_space(1))) char test3_array[10]; |
|---|
| 44 | void test3(void) { |
|---|
| 45 | extern void test3_helper(char *p); // expected-note {{passing argument to parameter 'p' here}} |
|---|
| 46 | test3_helper(test3_array); // expected-error {{changes address space of pointer}} |
|---|
| 47 | } |
|---|
| 48 | |
|---|
| 49 | typedef void ft(void); |
|---|
| 50 | _AS1 ft qf; // expected-error {{function type may not be qualified with an address space}} |
|---|
| 51 | typedef _AS1 ft qft; // expected-error {{function type may not be qualified with an address space}} |
|---|
| 52 | |
|---|
| 53 | |
|---|
| 54 | typedef _AS2 int AS2Int; |
|---|
| 55 | |
|---|
| 56 | struct HasASFields |
|---|
| 57 | { |
|---|
| 58 | _AS2 int as_field; // expected-error {{field may not be qualified with an address space}} |
|---|
| 59 | AS2Int typedef_as_field; // expected-error {{field may not be qualified with an address space}} |
|---|
| 60 | }; |
|---|
| 61 | |
|---|
| 62 | // Assertion failure was when the field was accessed |
|---|
| 63 | void access_as_field() |
|---|
| 64 | { |
|---|
| 65 | struct HasASFields x; |
|---|
| 66 | (void) bar.as_field; |
|---|
| 67 | } |
|---|
| 68 | |
|---|
| 69 | typedef int PR4997 __attribute__((address_space(Foobar))); // expected-error {{use of undeclared identifier 'Foobar'}} |
|---|
| 70 | __attribute__((address_space("12"))) int *i; // expected-error {{'address_space' attribute requires an integer constant}} |
|---|
| 71 | |
|---|
| 72 | // Clang extension doesn't forbid operations on pointers to different address spaces. |
|---|
| 73 | char* cmp(_AS1 char *x, _AS2 char *y) { |
|---|
| 74 | return x < y ? x : y; // expected-error{{conditional operator with the second and third operands of type ('__attribute__((address_space(1))) char *' and '__attribute__((address_space(2))) char *') which are pointers to non-overlapping address spaces}} |
|---|
| 75 | } |
|---|
| 76 | |
|---|
| 77 | struct SomeStruct { |
|---|
| 78 | int a; |
|---|
| 79 | long b; |
|---|
| 80 | int c; |
|---|
| 81 | }; |
|---|
| 82 | |
|---|
| 83 | // Compound literals in function scope are lvalues with automatic storage duration, |
|---|
| 84 | // so they cannot realistically be qualified with an address space. |
|---|
| 85 | void as_compound_literal() { |
|---|
| 86 | (_AS1 struct SomeStruct){1, 2, 3}; // expected-error {{compound literal in function scope may not be qualified with an address space}} |
|---|
| 87 | (_AS1 char[]){"test"}; // expected-error {{compound literal in function scope may not be qualified with an address space}} |
|---|
| 88 | (_AS1 char[]){'a', 'b', 'c'}; // expected-error {{compound literal in function scope may not be qualified with an address space}} |
|---|
| 89 | } |
|---|
| 90 | |
|---|