blob: b79799f0230c4c3fe9400ad68d86313d5bacb389 [file] [log] [blame]
Daniel Dunbard7d5f022009-03-24 02:24:46 +00001// RUN: clang-cc %s -fsyntax-only -verify
Chris Lattner73804662008-02-21 01:42:41 +00002
3#define _AS1 __attribute__((address_space(1)))
4#define _AS2 __attribute__((address_space(2)))
5#define _AS3 __attribute__((address_space(3)))
6
7void foo(_AS3 float *a) {
Chris Lattner35d276f2009-02-27 18:53:28 +00008 _AS2 *x;// expected-warning {{type specifier missing, defaults to 'int'}}
Chris Lattner73804662008-02-21 01:42:41 +00009 _AS1 float * _AS2 *B;
10
Nate Begemanc8e89a82008-03-14 18:07:10 +000011 int _AS1 _AS2 *Y; // expected-error {{multiple address spaces specified for type}}
Chris Lattner73804662008-02-21 01:42:41 +000012 int *_AS1 _AS2 *Z; // expected-error {{multiple address spaces specified for type}}
13
Nate Begemanc8e89a82008-03-14 18:07:10 +000014 _AS1 int local; // expected-error {{automatic variable qualified with an address space}}
Nate Begeman8e7dafe2008-03-25 18:36:32 +000015 _AS1 int array[5]; // expected-error {{automatic variable qualified with an address space}}
16 _AS1 int arrarr[5][5]; // expected-error {{automatic variable qualified with an address space}}
Nate Begeman5af27e02008-03-14 00:22:18 +000017
Chris Lattner73804662008-02-21 01:42:41 +000018 *a = 5.0f;
19}
Chris Lattner863ea9a2009-01-12 00:08:58 +000020
21struct _st {
22 int x, y;
23} s __attribute ((address_space(1))) = {1, 1};
24
Chris Lattnerecca7532009-04-13 06:04:39 +000025
26// rdar://6774906
27__attribute__((address_space(256))) void * * const base = 0;
28void * get_0(void) {
29 return base[0]; // expected-error {{illegal implicit cast between two pointers with different address spaces}} \
30 expected-warning {{returning 'void __attribute__((address_space(256)))*' discards qualifiers, expected 'void *'}}
31}
32